Conferences in DBLP
Robin Milner Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) [Citation Graph (0, 0)][DBLP ] Conf ] Val Tannen , Albert R. Meyer Polymorphism is conservative over simple types (Preliminary Report) [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , José Meseguer Order-Sorted Algebra solves the Constructor-Selector, Multiple [Citation Graph (0, 0)][DBLP ] Conf ] N. P. Mendler Recursive Types and Type Constraints in Second-Order Lambda Calculus [Citation Graph (0, 0)][DBLP ] Conf ] Mitchell Wand Complete Type Inference for Simple Objects [Citation Graph (9, 0)][DBLP ] Conf ] Samson Abramsky Domain Theory in Logical Form [Citation Graph (0, 0)][DBLP ] Conf ] David Harel , Amir Pnueli , Jeanette P. Schmidt , Rivi Sherman On the Formal Semantics of Statecharts (Extended Abstract) [Citation Graph (2, 0)][DBLP ] Conf ] R. A. G. Seely Modelling Computations: A 2-Categorical Framework [Citation Graph (0, 0)][DBLP ] Conf ] Haim Gaifman , Vaughan R. Pratt Partial Order Models of Concurrency and the Computation of Functions [Citation Graph (0, 0)][DBLP ] Conf ] Nicole Bidoit , Christine Froidevaux Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming [Citation Graph (4, 0)][DBLP ] Conf ] Dale Miller , Gopalan Nadathur , Andre Scedrov Hereditary Harrop Formulas and Uniform Proof Systems [Citation Graph (0, 0)][DBLP ] Conf ] Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] Conf ] J. Reynolds Conjunctive Types and Algol-like Languages [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi The Power of Temporal Proofs [Citation Graph (0, 0)][DBLP ] Conf ] Bowen Alpern , Fred B. Schneider Proving Boolean Combinations of Deterministic Properties [Citation Graph (0, 0)][DBLP ] Conf ] A. Prasad Sistla , Steven M. German Reasoning with Many Processes [Citation Graph (0, 0)][DBLP ] Conf ] A. Prasad Sistla , Lenore D. Zuck On the Eventuality Operator in Temporal Logic [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Y. Vardi Verification of Concurrent Programs: The Automata-Theoretic Framework [Citation Graph (0, 0)][DBLP ] Conf ] Maarten H. van Emden First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Robert L. Constable , Scott F. Smith Partial Objects In Constructive Type Theory [Citation Graph (0, 0)][DBLP ] Conf ] Robert Harper , Furio Honsell , Gordon D. Plotkin A Framework for Defining Logics [Citation Graph (0, 0)][DBLP ] Conf ] Douglas J. Howe The Computational Behaviour of Girard's Paradox [Citation Graph (0, 0)][DBLP ] Conf ] Stuart Allen A Non-Type-Theoretic Definition of Martin-Löf's Types [Citation Graph (0, 0)][DBLP ] Conf ] A. J. Kfoury , Jerzy Tiuryn , Pawel Urzyczyn The Hierarchy of Finitely Typed Functional Programs (Short Version) [Citation Graph (1, 0)][DBLP ] Conf ] Neil Immerman , Dexter Kozen Definability with Bounded Number of Bound Variables [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Thomas On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees [Citation Graph (1, 0)][DBLP ] Conf ] Joseph Y. Halpern , Edward L. Wimmers Full Abstraction and Expressive Completenes for FP [Citation Graph (0, 0)][DBLP ] Conf ] Yoav Shoham A Semantical Approach to Nonmonotic Logics [Citation Graph (1, 0)][DBLP ] Conf ] Ronald Fagin , Joseph Y. Halpern I'm OK if You're OK: On the Notion of Trusting Communication [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Goerdt Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative Languages [Citation Graph (0, 0)][DBLP ] Conf ] John C. Mitchell , Eugenio Moggi Kripke-Style models for typed lambda calculus [Citation Graph (0, 0)][DBLP ] Conf ] Peter J. Freyd , Andre Scedrov Some Semantic Aspects of Polymorphic Lambda Calculus [Citation Graph (0, 0)][DBLP ] Conf ] Corrado Böhm , Enrico Tronci X-Separability and Left-Invertibility in lambda-calculus [Citation Graph (0, 0)][DBLP ] Conf ] Leo Bachmair , Nachum Dershowitz Inference Rules for Rewrite-Based First-Order Theorem Proving [Citation Graph (0, 0)][DBLP ] Conf ] Jean H. Gallier , Stan Raatz , Wayne Snyder Theorem Proving Using Rigid E-Unification Equational Matings [Citation Graph (0, 0)][DBLP ] Conf ] Claude Kirchner , Pierre Lescanne Solving Disequations [Citation Graph (0, 0)][DBLP ] Conf ] Max Dauchet , Sophie Tison , Thierry Heuillard , Pierre Lescanne Decidability of the Confluence of Ground Term Rewriting Systems [Citation Graph (0, 0)][DBLP ] Conf ] 