"Resource Management in Linear Logic Proof Search Revisited"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Human Resource Management in China Revisited	Malcolm Warner	2005	Routledge
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control	David J. Pym; Eike Ritter	2004	Oxford University Press
Advances in Linear Logic	Jean-Yves Girard; Yves Lafont; Laurent Regnier	1995-06	Cambridge University Press
Logic and Proof	Marvin L. Bittinger; David J. Ellenbogen	June 1970	Addison-Wesley
Proof [electronic resource]
Linear Logic in Computer Science	Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott	2004-11	Cambridge University Press
Proof Theory and Algebra in Logic	Hiroakira Ono	1st ed. 2019	Springer Nature Singapore
Proof, Logic and Formalization	Michael Detlefsen	1992	Routledge
Language, proof, and logic	Jon Barwise, John Etchemendy	1999	CSLI Publications
Proof, Logic and Formalization	Detlefsen M. (Ed)	1992
Language, Proof and Logic	Jon Barwise, John Etchemendy	2002	CSLI Publications
Voltaire revisited [electronic resource]
Lectures on Linear Logic	A. S. Troelstra	1992	Center for the Study of Language and Inf
Proof theory of modal logic	H. Wansing	1996	Springer
Proof theory of modal logic /	Wansing, H.	1996.	Kluwer,
Proof Theory of Modal Logic	Heinrich Wansing	1996	Springer Netherlands
Employability Revisited: Strengths- and Life-phase-oriented Human Resource Management	Anne Rosken	1st ed. 2022	Springer International Publishing
Classic Papers in Natural Resource Economics Revisited	Chennat Gopalakrishnan	2016	Routledge
Management in South Korea Revisited	Chris Rowley; Malcolm Warner	2015	Routledge
Fuzzy Logic in Management	Christer Carlsson; Mario Fedrizzi; Robert Fuller	2004	Springer US
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Resource Management in Linear Logic Proof Search Revisited	Pablo López; Ernesto Pimentel	Logic Programming and Automated Reasoning: 6th International Conference, LPAR' 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings	Harald Ganzinger; David McAllester; Andrei Voronkov	1999	Springer Berlin Heidelberg
Efficient resource management for linear logic proof search	Iliano Cervesato; Joshua S. Hodas; Frank Pfenning	Extensions of Logic Programming: 5th International Workshop, ELP ' 96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.	Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister	1996	Springer Berlin Heidelberg
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming	Joshua S. Hodas; Pablo López; Jeffrey Polakow; Lubomira Stoilova; Ernesto Pimentel	Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September	Julian Bradfield	2002	Springer Berlin Heidelberg
Proof-Search in Predicate Logic		A Short Introduction to Intuitionistic Logic	Grigori Mints	2000	Springer US
Proof Search in Minimal Logic		Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings	Buchberger B., Campbell J. A. (Ed)	2003	Springer
Proof Search in Minimal Logic	Helmut Schwichtenberg	Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings	Bruno Buchberger; John A. Campbell	2004	Springer Berlin Heidelberg
Foundations of proof search strategies design in linear logic	D. Galmiche; G. Perrier	Logical Foundations of Computer Science: Third International Symposium, LFCS ' 94, St. Petersburg, Russia, July 11-14, 1994. Proceedings	Anil Nerode; Yu.V. Matiyasevich	1994	Springer Berlin Heidelberg
Bounded Linear Logic, Revisited	Ugo Dal Lago; Martin Hofmann	Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings	Pierre-Louis Curien	2009	Springer Berlin Heidelberg
6 - Proof search in classical logic		Elements of Logical Reasoning	Jan von Plato	2014-01	Cambridge University Press
Proof-Search in Implicative Linear Logic as a Matching Problem	Philippe de Groote	Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings	Michel Parigot; Andrei Voronkov	2000	Springer Berlin Heidelberg
Crew Resource Management Revisited	Jan U. Hagen	How Could This Happen?: Managing Errors in Organizations	Jan U. Hagen	1st ed. 2018	Springer International Publishing
On Structuring Proof Search for First Order Linear Logic	Paola Bruscoli; Alessio Guglielmi	Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings	Moshe Vardi; Andrei Voronkov	2003	Springer Berlin Heidelberg
Linear logic with isabelle: Pruning the proof search tree	Philippe de Groote	Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings	Peter Baumgartner; Reiner Hähnle; Joachim Posegga	1995	Springer Berlin Heidelberg
Proof Search by Logic Programming		Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant	Adam Chlipala	2013	MIT Press
DEDUCTIVE LOGIC, REDUCTIVE LOGIC, AND PROOF-SEARCH		Reductive Logic and Proof-search: Proof Theory, Semantics, and Control	David J. Pym; Eike Ritter	2004	Oxford University Press
Implementing Efficient Resource Management for Linear Logic Programming	Pablo López; Jeff Polakow	Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings	Franz Baader; Andrei Voronkov	2005	Springer Berlin Heidelberg
Logic-Independent Proof Search in Logical Frameworks	Michael Kohlhase; Florian Rabe; Claudio Sacerdoti Coen; Jan Frederik Schaefer	Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I	Nicolas Peltier; Viorica Sofronie-Stokkermans	1st ed. 2020	Springer International Publishing
Connection-based proof construction in linear logic	C. Kreitz; H. Mantel; J. Otten; S. Schmitt	Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings	William McCune	1997	Springer Berlin Heidelberg
13: Proof Search by Logic Programming		Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant	Adam Chlipala	2013	The MIT Press,
Appendix: Proof Rules For Linear Logic	Mary Dalrymple	Lexical Functional Grammar	Mary Dalrymple	2001-08-08	Brill
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Resource Management in Linear Logic Proof Search Revisited" - similar Books and Chapters