default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st LICS 1986: Cambridge, Massachusetts
- Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, USA, June 16-18, 1986. IEEE Computer Society 1986, ISBN 0-8186-0720-3
Invited Lecture
- John Alan Robinson:
Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture). LICS 1986: 2
Session 1
- László Csirmaz, Bradd Hart:
Program Correctness on Finite Fields. LICS 1986: 4-10 - Steven M. German, Edmund M. Clarke, Joseph Y. Halpern:
True Relative Completeness of an Axiom System for the Language L4 (Abridged). LICS 1986: 11-25 - Bengt Jonsson, Zohar Manna, Richard J. Waldinger:
Towards Deductive Synthesis of Dataflow Networks. LICS 1986: 26-37 - William C. Rounds, Robert T. Kasper:
A Complete Logical Calculus for Record Structures Representing Linguistic Information. LICS 1986: 38-43 - Albert R. Meyer:
Floyd-Hoare Logic Defines Semantics: Preliminary Version. LICS 1986: 44-48
Session 2
- Lennart Beckman, Rune Gustavsson, Annika Wærn:
An Algebraic Model of Parallel Execution of Logic Programs. LICS 1986: 50-57 - Stephen D. Brookes:
A Semantically Based Proof System for Partial Correctness and Deadlock in CSP. LICS 1986: 58-65 - Luís Monteiro, Fernando C. N. Pereira:
A Sheaf-Theoretic Model of Concurrency. LICS 1986: 66-76 - David B. Benson, Ofer Ben-Shachar:
Strong Bisimulation of State Automata. LICS 1986: 77-81
Session 3
- Christine Mohring:
Algorithm Development in the Calculus of Constructions. LICS 1986: 84-91 - John S. Schlipf:
How Uncomputable is General Circumscription? (Extended Abstract). LICS 1986: 92-95 - J. Shultis:
The Design and Implementations of Intuit. LICS 1986: 96-104 - Ian A. Mason:
Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation. LICS 1986: 105-117
Invited Lecture
- Anil Nerode:
A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture). LICS 1986: 120
Session 4
- Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo:
The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations. LICS 1986: 122-130 - Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba:
Reasoning with Continuations. LICS 1986: 131-141 - Carl A. Gunter:
The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains. LICS 1986: 142-148 - Joseph Y. Halpern, John H. Williams, Edward L. Wimmers:
Good Rewrite Strategies for FP. LICS 1986: 149-162 - David A. Plaisted:
The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations. LICS 1986: 163-174
Session 5
- Martín Abadi, Zohar Manna:
A Timely Resolution. LICS 1986: 176-186 - Shang-Ching Chou, Hai-Ping Ko:
On Mechanical Theorem Proving in Minkowskian Plane Geometry. LICS 1986: 187-192 - Joëlle Despeyroux:
Proof of Translation in Natural Semantics. LICS 1986: 193-205 - Claude Kirchner:
Computing Unification Algorithms. LICS 1986: 206-216
Session 6
- Mario Coppo, Maddalena Zacchi:
Type inference and logical relations. LICS 1986: 218-226 - Thierry Coquand:
An Analysis of Girard's Paradox. LICS 1986: 227-236 - Todd B. Knoblock, Robert L. Constable:
Formalized Metareasoning in Type Theory. LICS 1986: 237-248 - Nax Paul Mendler, Prakash Panangaden, Robert L. Constable:
Infinite Objects in Type Theory. LICS 1986: 249-255
Invited Lecture
- Jean-Yves Girard:
Quantitative and Qualitative Semantics (Abstract of Invited Lecture). LICS 1986: 258
Session 7
- Michael C. Browne:
An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic. LICS 1986: 260-266 - E. Allen Emerson, Chin-Laung Lei:
Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract). LICS 1986: 267-278 - Joseph Y. Halpern, Yoav Shoham:
A Propositional Model Logic of Time Intervals. LICS 1986: 279-292 - Johann A. Makowsky, Ildikó Sain:
On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems. LICS 1986: 293-300 - Dominique Perrin, Paul E. Schupp:
Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories. LICS 1986: 301-304
Session 8
- Roni Rosner, Amir Pnueli:
A Choppy Logic. LICS 1986: 306-313 - Rohit Parikh:
Levels of Knowledge in Distributed Computing. LICS 1986: 314-321 - Amir Pnueli, Lenore D. Zuck:
Probabilistic Verification by Tableaux. LICS 1986: 322-331 - Moshe Y. Vardi, Pierre Wolper:
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report). LICS 1986: 332-344
Session 9
- Leo Bachmair, Nachum Dershowitz, Jieh Hsiang:
Orderings for Equational Proofs. LICS 1986: 346-357 - Jean-Pierre Jouannaud, Emmanuel Kounalis:
Automatic Proofs by Induction in Equational Theories Without Constructors. LICS 1986: 358-366 - Deepak Kapur, David R. Musser:
Inductive Reasoning with Incomplete Specifications (Preliminary Report). LICS 1986: 367-377 - Richard Statman:
On Translating Lambda Terms into Combinators; The Basis Problem. LICS 1986: 378-382
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 12:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
