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

Ben E. Zweibelson
Logic for grammar: developments in linear logic and formal linguistics

Logic for grammar: developments in linear logic and formal linguistics

Casadio Claudia
The inverse method for intuitionistic linear logic: (the propositional fragment) ([Research paper] / Carnegie Mellon University. School of Computer Science)

The inverse method for intuitionistic linear logic: (the propositional fragment) ([Research paper] / Carnegie Mellon University. School of Computer Science)

Kaustuv Chaudhuri
Principium: Beyond the One-Body–Two-Sides Linear Logic of F_net ≈ dp/dt in AI and Its Ethical Dilemmas —The Conservation of Positive and Negative Equaling Zero of Compounding–Corresponding Trinity

Principium: Beyond the One-Body–Two-Sides Linear Logic of F_net ≈ dp/dt in AI and Its Ethical Dilemmas —The Conservation of Positive and Negative Equaling Zero of Compounding–Corresponding Trinity

Yansha Yu-Sandstrom
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
Linear Logic in Computer Science (04) by Ehrhard, Thomas [Paperback (2004)]

Linear Logic in Computer Science (04) by Ehrhard, Thomas [Paperback (2004)]

Ehrhard
A synopsis on the identification of linear logic programming languages

A synopsis on the identification of linear logic programming languages

James Harland
Computational Aspects of Linear Logic (FOUNDATIONS OF COMPUTING SERIES)

Computational Aspects of Linear Logic (FOUNDATIONS OF COMPUTING SERIES)

Patrick D. Lincoln
Ordered Linear Logic Programming

Ordered Linear Logic Programming

Jeff Polakow
Structural Cut Elimination in Linear Logic

Structural Cut Elimination in Linear Logic

Frank Pfenning
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
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
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
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