Modularity of Proof-nets: generating the type of a module

Modular invariants and subfactors

Boeckenhauer, J.
Evans, D.E.
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Memoisation of categorial proof nets: parallelism in categorial processing

Morrill, Glyn

February 1996

We introduce a method of memoisation of categorial proof nets. Exploiting the planarity of non-com...

Unifying the syntax and semantics of modular extensions of Petri nets

Marechal Marin, Alexis Ayar

January 2013

Petri nets are a modeling formalism that allows to describe concurrent systems with an intuitive and...

Modularity of proof-nets : generating the type of a module

Maieli, R
Puite, GWQ Quintijn

January 2005

When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certai...

Modularity of proof nets: generating the type of a module

MAIELI, ROBERTO
QUINTIJN Puite

January 2005

When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certa...

A class of modular algebraic nets and its support environment

Battiston, E.
De Cindio, F.
Mauri, G
Consiglio Nazionale delle Ricerche, Rome (Italy). Progetto Finalizzato: Sistemi Informatici e Calcolo Parallelo

January 1994

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Modular formal frameworks for module systems

Ancona, Davide

January 1998

Dottorato di ricerca in informaticaConsiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le A...

Modules and Logic Programming

Mogbil, Virgile
Fouqueré, Christophe

January 2004

Prépublication LIPNWe study conditions for a concurrent construction of proof-nets in the framework ...

Γ,∆

Roberto Maieli
Paul Ruet

December 2014

Proof-nets are special graphs (proof-structures) repre-senting de-sequentialised proofs of the linea...

Proof nets for multiplicative and additive linear logic

Bellin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--161) / BLDSC - B...

Interactive correctness criterion for multiplicative-additive proof-nets

MAIELI R
RUET PAUL

January 2006

Proof-nets are special graphs (proof-structures) representing desequentialised proofs of the linear ...

Modularity and Petri Nets

Petrucci, Laure

January 2005

The systems to model are nowadays very large. Their specification is often decomposed into several s...

Proof nets construction

Galmiche, D.
Perrier, G.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Communication to : Proc. International Conference LPAR '92, St. Petersburg (Russia), July 1992SIGLEA...

Obsessional experiments for linear logic proof-nets

Tortora de Falco, L.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto per le Applicazioni del Calcolo 'Mauro Picone'

January 2001

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Memoisation of Categorial Proof Nets: Parallelism in Categorial Processing

Glyn Morrill

January 1996

We introduce a method of memoisation of categorial proof nets. Exploiting the planarity of non-commu...

Modular invariants and subfactors

Boeckenhauer, J.
Evans, D.E.
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Memoisation of categorial proof nets: parallelism in categorial processing

Morrill, Glyn

February 1996

We introduce a method of memoisation of categorial proof nets. Exploiting the planarity of non-com...

Unifying the syntax and semantics of modular extensions of Petri nets

Marechal Marin, Alexis Ayar

January 2013

Petri nets are a modeling formalism that allows to describe concurrent systems with an intuitive and...

Modularity of proof-nets : generating the type of a module

Maieli, R
Puite, GWQ Quintijn

January 2005

When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certai...

Modularity of proof nets: generating the type of a module

MAIELI, ROBERTO
QUINTIJN Puite

January 2005

When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certa...

A class of modular algebraic nets and its support environment

Battiston, E.
De Cindio, F.
Mauri, G
Consiglio Nazionale delle Ricerche, Rome (Italy). Progetto Finalizzato: Sistemi Informatici e Calcolo Parallelo

January 1994

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Modular formal frameworks for module systems

Ancona, Davide

January 1998

Dottorato di ricerca in informaticaConsiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le A...

Modules and Logic Programming

Mogbil, Virgile
Fouqueré, Christophe

January 2004

Prépublication LIPNWe study conditions for a concurrent construction of proof-nets in the framework ...

Γ,∆

Roberto Maieli
Paul Ruet

December 2014

Proof-nets are special graphs (proof-structures) repre-senting de-sequentialised proofs of the linea...

Proof nets for multiplicative and additive linear logic

Bellin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--161) / BLDSC - B...

Interactive correctness criterion for multiplicative-additive proof-nets

MAIELI R
RUET PAUL

January 2006

Proof-nets are special graphs (proof-structures) representing desequentialised proofs of the linear ...

Modularity and Petri Nets

Petrucci, Laure

January 2005

The systems to model are nowadays very large. Their specification is often decomposed into several s...

Proof nets construction

Galmiche, D.
Perrier, G.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Communication to : Proc. International Conference LPAR '92, St. Petersburg (Russia), July 1992SIGLEA...

Obsessional experiments for linear logic proof-nets

Tortora de Falco, L.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto per le Applicazioni del Calcolo 'Mauro Picone'

January 2001

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Memoisation of Categorial Proof Nets: Parallelism in Categorial Processing

Glyn Morrill

January 1996

We introduce a method of memoisation of categorial proof nets. Exploiting the planarity of non-commu...

Modular invariants and subfactors

Boeckenhauer, J.
Evans, D.E.
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Memoisation of categorial proof nets: parallelism in categorial processing

Morrill, Glyn

February 1996

We introduce a method of memoisation of categorial proof nets. Exploiting the planarity of non-com...

Unifying the syntax and semantics of modular extensions of Petri nets

Marechal Marin, Alexis Ayar

January 2013

Petri nets are a modeling formalism that allows to describe concurrent systems with an intuitive and...

Modularity of Proof-nets: generating the type of a module

Abstract

Extracted data

Modularity of Proof-nets: generating the type of a module

Abstract

Extracted data

Related items

Related items