Structural rule

Results: 56



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

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
    2Florida 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

    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
    3PACIFIC TRADE AND DEVELOPMENT WORKING PAPER SERIES Paper No. YF37-05 A structural investigation of the Chinese economy with a hybrid monetary policy rule

    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
    4Rule 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,

    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
      5An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon & LORIA∗   The complementarity and interaction between computation

      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
      6Chile’s Structural Fiscal Surplus Rule: A Model-Based Evaluation∗ MICHAEL KUMHOF† International Monetary Fund  DOUGLAS LAXTON‡

      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
        7June 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

        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
        8AG8  SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on

        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
        9June 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

        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
        10Notice of Permanent Rule April 1, 2015 Amending Oregon Structural Specialty Code & Oregon Residential Specialty Code  Purpose of the rule:

        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