Advertisement

Search Results

Showing results for "Linear Logic"

Linear Logic in Computer Science

Linear Logic in Computer Science

Thomas Ehrhard
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)

Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)

Jean-Yves Girard
Lectures on Linear Logic (Volume 29) (Lecture Notes)

Lectures on Linear Logic (Volume 29) (Lecture Notes)

Anne S. Troelstra
Linear Logic

Linear Logic

Jean-Yves Girard
Incompatible Systems of Logic: Why Design Should Integrate the Mechanistic, Reductionist, and Linear Logic of Military Detailed Planning

Incompatible Systems of Logic: Why Design Should Integrate the Mechanistic, Reductionist, and Linear Logic of Military Detailed Planning

US Army Zweibelson
Logic for grammar: developments in linear logic and formal linguistics

Logic for grammar: developments in linear logic and formal linguistics

Casadio Claudia
An application of linear logic to logic programming (Rapports de recherche. Université Paris-Sud. Centre d'Orsay. Laboratoire de recherche en informatique)

An application of linear logic to logic programming (Rapports de recherche. Université Paris-Sud. Centre d'Orsay. Laboratoire de recherche en informatique)

Serenella Cerrito
Linear logic and lazy computation (Rapports de recherche. Institut National de Recherche en Informatique et en Automatique)

Linear logic and lazy computation (Rapports de recherche. Institut National de Recherche en Informatique et en Automatique)

Jean-Yves Girard
The semantics and proof theory of linear logic (LFCS report series. University of Edinburgh. Department of Compter Science. Laboratory of Foundations of Computer Science)

The semantics and proof theory of linear logic (LFCS report series. University of Edinburgh. Department of Compter Science. Laboratory of Foundations of Computer Science)

Arnon Avron
Control of Underactuated Systems: Linear and Fuzzy Logic Controllers

Control of Underactuated Systems: Linear and Fuzzy Logic Controllers

Umar Farooq
Process-algebraic interpretations of positive linear and relevant logics

Process-algebraic interpretations of positive linear and relevant logics

Mads Dam
Ordered linear logic programming ([Research paper] / Carnegie Mellon University. School of Computer Science)

Ordered linear logic programming ([Research paper] / Carnegie Mellon University. School of Computer Science)

Jeff Polakow
Incompatible Systems of Logic: Why Design Should Integrate the Mechanistic, Reductionist, and Linear Logic of Military Detailed Planning

Incompatible Systems of Logic: Why Design Should Integrate the Mechanistic, Reductionist, and Linear Logic of Military Detailed Planning

Ben E Zweibelson
Structural Cut Elimination in Linear Logic

Structural Cut Elimination in Linear Logic

Frank Pfenning
Model checking is refinement: Relating Büchi testing and linear-time temporal logic (ICASE report)

Model checking is refinement: Relating Büchi testing and linear-time temporal logic (ICASE report)

Rance Cleaveland
Logic programming in a fragment of intuitionistic linear logic: Extended abstract

Logic programming in a fragment of intuitionistic linear logic: Extended abstract

Joshua S Hodas
Normalization and linearity in unification logic (Rapports de recherche. Institut National de Recherche en Informatique et en Automatique)

Normalization and linearity in unification logic (Rapports de recherche. Institut National de Recherche en Informatique et en Automatique)

Philippe Le Chenadec
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series) by Thomas Ehrhard (2004-11-18)

Linear Logic in Computer Science (London Mathematical Society Lecture Note Series) by Thomas Ehrhard (2004-11-18)

Unknown Author
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series) (2004-11-15)

Linear Logic in Computer Science (London Mathematical Society Lecture Note Series) (2004-11-15)

Unknown Author