Structural rule

Results: 56



#Item
1

Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez

Add to Reading List

Source URL: babel.ls.fi.upm.es

- Date: 2016-05-31 08:08:10
    2Column / Earthquake engineering / Structural system

    Florida Atlantic University 2011 BIENNIAL NOTICE OF RULE REPORTING DATE: December 1, 2011 Section), F.S. requires that Universities of the State University System publish a report of the Biennial review of all

    Add to Reading List

    Source URL: www.fau.edu

    Language: English - Date: 2012-04-03 13:51:20
    3Macroeconomic policy / Monetary policy / Public finance / New Keynesian economics

    PACIFIC TRADE AND DEVELOPMENT WORKING PAPER SERIES Paper No. YF37-05 A structural investigation of the Chinese economy with a hybrid monetary policy rule

    Add to Reading List

    Source URL: www.eaber.org

    Language: English - Date: 2015-07-15 00:41:34
    4

    Rule formats for bounded nondeterminism in structural operational semantics? ´ Luca Aceto, Alvaro Garc´ıa-P´erez, and Anna Ing´olfsd´ottir ICE-TCS, School of Computer Science, Reykjav´ık University,

    Add to Reading List

    Source URL: www.icetcs.ru.is

    Language: English - Date: 2015-09-25 06:01:23
      5Cut-elimination theorem / Sequent / Rule of inference / First-order logic / Formal proof / Natural deduction / Structural proof theory / Logic / Proof theory / Mathematical logic

      An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon & LORIA∗ The complementarity and interaction between computation

      Add to Reading List

      Source URL: www.ensiie.fr

      Language: English - Date: 2015-01-06 05:11:00
      6

      Chile’s Structural Fiscal Surplus Rule: A Model-Based Evaluation∗ MICHAEL KUMHOF† International Monetary Fund DOUGLAS LAXTON‡

      Add to Reading List

      Source URL: www.stanford.edu

      Language: English - Date: 2010-06-18 15:32:09
        7Mathematics / Sequent calculus / Intuitionistic logic / Cut-elimination theorem / Interpretation / Sequent / Structural rule / Propositional calculus / Linear logic / Logic / Mathematical logic / Proof theory

        June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        Language: English - Date: 2009-06-23 06:51:18
        8Non-classical logic / Boolean algebra / Propositional calculus / Substructural logic / Linear logic / Structural rule / Modal logic / Cut-elimination theorem / Negation / Logic / Mathematical logic / Proof theory

        AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on

        Add to Reading List

        Source URL: cs.bath.ac.uk

        Language: English - Date: 2007-12-18 10:38:04
        9Mathematics / Sequent calculus / Intuitionistic logic / Cut-elimination theorem / Interpretation / Sequent / Structural rule / Propositional calculus / Linear logic / Logic / Mathematical logic / Proof theory

        June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        Language: English - Date: 2009-06-23 06:51:18
        10Electrical engineering / Electricity / Power cables / Electric power distribution / National Electrical Code / NEMA connector / Residual-current device / Earthing system / Ground / Electromagnetism / Electrical wiring / Electrical safety

        Notice of Permanent Rule April 1, 2015 Amending Oregon Structural Specialty Code & Oregon Residential Specialty Code Purpose of the rule:

        Add to Reading List

        Source URL: bcd.oregon.gov

        Language: English - Date: 2015-05-19 00:54:17
        UPDATE