Conferences in DBLP
John Alan Robinson Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:2- [Conf ] László Csirmaz , Bradd Hart Program Correctness on Finite Fields [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:4-10 [Conf ] Steven M. German , Edmund M. Clarke , Joseph Y. Halpern True Relative Completeness of an Axiom System for the Language L4 (Abridged) [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:11-25 [Conf ] Bengt Jonsson , Zohar Manna , Richard J. Waldinger Towards Deductive Synthesis of Dataflow Networks [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:26-37 [Conf ] William C. Rounds , Robert T. Kasper A Complete Logical Calculus for Record Structures Representing Linguistic Information [Citation Graph (1, 0)][DBLP ] LICS, 1986, pp:38-43 [Conf ] Albert R. Meyer Floyd-Hoare Logic Defines Semantics: Preliminary Version [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:44-48 [Conf ] Lennart Beckman , Rune Gustavsson , Annika Wærn An Algebraic Model of Parallel Execution of Logic Programs [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:50-57 [Conf ] Stephen D. Brookes A Semantically Based Proof System for Partial Correctness and Deadlock in CSP [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:58-65 [Conf ] Luís Monteiro , Fernando C. N. Pereira A Sheaf-Theoretic Model of Concurrency [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:66-76 [Conf ] David B. Benson , Ofer Ben-Shachar Strong Bisimulation of State Automata [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:77-81 [Conf ] Christine Mohring Algorithm Development in the Calculus of Constructions [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:84-91 [Conf ] John S. Schlipf How Uncomputable is General Circumscription? (Extended Abstract) [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:92-95 [Conf ] J. Shultis The Design and Implementations of Intuit [Citation Graph (1, 0)][DBLP ] LICS, 1986, pp:96-104 [Conf ] Ian A. Mason Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:105-117 [Conf ] Roberto M. Amadio , Kim B. Bruce , Giuseppe Longo The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:122-130 [Conf ] Matthias Felleisen , Daniel P. Friedman , Eugene E. Kohlbecker , Bruce F. Duba Reasoning with Continuations [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:131-141 [Conf ] Carl A. Gunter The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:142-148 [Conf ] Joseph Y. Halpern , John H. Williams , Edward L. Wimmers Good Rewrite Strategies for FP [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:149-162 [Conf ] David A. Plaisted The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:163-174 [Conf ] Martín Abadi , Zohar Manna A Timely Resolution [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:176-186 [Conf ] Shang-Ching Chou , Hai-Ping Ko On Mechanical Theorem Proving in Minkowskian Plane Geometry [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:187-192 [Conf ] Joëlle Despeyroux Proof of Translation in Natural Semantics [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:193-205 [Conf ] Claude Kirchner Computing Unification Algorithms [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:206-216 [Conf ] Mario Coppo , Maddalena Zacchi Type inference and logical relations [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:218-226 [Conf ] Thierry Coquand An Analysis of Girard's Paradox [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:227-236 [Conf ] Todd B. Knoblock , Robert L. Constable Formalized Metareasoning in Type Theory [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:237-248 [Conf ] N. P. Mendler , Prakash Panangaden , Robert L. Constable Infinite Objects in Type Theory [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:249-255 [Conf ] Jean-Yves Girard Quantitative and Qualitative Semantics (Abstract of Invited Lecture) [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:258- [Conf ] Michael C. Browne An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:260-266 [Conf ] E. Allen Emerson , Chin-Laung Lei Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) [Citation Graph (1, 0)][DBLP ] LICS, 1986, pp:267-278 [Conf ] Joseph Y. Halpern , Yoav Shoham A Propositional Model Logic of Time Intervals [Citation Graph (2, 0)][DBLP ] LICS, 1986, pp:279-292 [Conf ] Johann A. Makowsky , Ildikó Sain On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:293-300 [Conf ] Dominique Perrin , Paul E. Schupp Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:301-304 [Conf ] Roni Rosner , Amir Pnueli A Choppy Logic [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:306-313 [Conf ] Rohit Parikh Levels of Knowledge in Distributed Computing [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:314-321 [Conf ] Amir Pnueli , Lenore D. Zuck Probabilistic Verification by Tableaux [Citation Graph (1, 0)][DBLP ] LICS, 1986, pp:322-331 [Conf ] Moshe Y. Vardi , Pierre Wolper An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) [Citation Graph (3, 0)][DBLP ] LICS, 1986, pp:332-344 [Conf ] Leo Bachmair , Nachum Dershowitz , Jieh Hsiang Orderings for Equational Proofs [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:346-357 [Conf ] Jean-Pierre Jouannaud , Emmanuel Kounalis Automatic Proofs by Induction in Equational Theories Without Constructors [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:358-366 [Conf ] Deepak Kapur , David R. Musser Inductive Reasoning with Incomplete Specifications (Preliminary Report) [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:367-377 [Conf ] Richard Statman On Translating Lambda Terms into Combinators; The Basis Problem [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:378-382 [Conf ]