Encoding Transition Systems in Sequent Calculus: Preliminary Report
Open Access
- 31 December 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 3, 138-152
- https://doi.org/10.1016/s1571-0661(05)80412-8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The π-calculus as a theory in linear logic: Preliminary resultsLecture Notes in Computer Science, 1993
- A Complete Axiomatization of the Three valued Completion of Logic ProgramsJournal of Logic and Computation, 1991
- A Proof-Theoretic Approach to Logic ProgrammingJournal of Logic and Computation, 1991
- The programming language GCLA — A definitional approach to logic programmingNew Generation Computing, 1990
- Linear logicTheoretical Computer Science, 1987
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940