default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd LICS 1987: Ithaca, New York, USA
- Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987. IEEE Computer Society 1987
Invited Speaker
- Robin Milner:
Some Uses of Maximal Fixed Points (Abstract of Invited Lecture). LICS 1987: 3
Session 1
- Val Tannen, Albert R. Meyer:
Polymorphism is conservative over simple types (Preliminary Report). LICS 1987: 7-17 - Joseph A. Goguen, José Meseguer:
Order-Sorted Algebra solves the Constructor-Selector, Multiple. LICS 1987: 18-29 - Nax Paul Mendler:
Recursive Types and Type Constraints in Second-Order Lambda Calculus. LICS 1987: 30-36 - Mitchell Wand:
Complete Type Inference for Simple Objects. 37-44
Session 2
- Samson Abramsky:
Domain Theory in Logical Form. LICS 1987: 47-53 - David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman:
On the Formal Semantics of Statecharts (Extended Abstract). LICS 1987: 54-64 - Robert A. G. Seely:
Modelling Computations: A 2-Categorical Framework. LICS 1987: 65-71 - Haim Gaifman, Vaughan R. Pratt:
Partial Order Models of Concurrency and the Computation of Functions. LICS 1987: 72-85
Session 3
- Nicole Bidoit, Christine Froidevaux:
Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming. LICS 1987: 89-97 - Dale Miller, Gopalan Nadathur, Andre Scedrov:
Hereditary Harrop Formulas and Uniform Proof Systems. LICS 1987: 98-105 - Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi:
Undecidable Optimization Problems for Database Logic Programs. LICS 1987: 106-115
Invited Speaker
- John C. Reynolds:
Conjunctive Types and Algol-like Languages. LICS 1987: 119
Session 4
- Martín Abadi:
The Power of Temporal Proofs. LICS 1987: 123-130 - Bowen Alpern, Fred B. Schneider:
Proving Boolean Combinations of Deterministic Properties. LICS 1987: 131-137 - A. Prasad Sistla, Steven M. German:
Reasoning with Many Processes. LICS 1987: 138-152 - A. Prasad Sistla, Lenore D. Zuck:
On the Eventuality Operator in Temporal Logic. LICS 1987: 153-166 - Moshe Y. Vardi:
Verification of Concurrent Programs: The Automata-Theoretic Framework. LICS 1987: 167-176
Invited Speaker
- Maarten H. van Emden:
First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract). LICS 1987: 179
Session 5
- Robert L. Constable, Scott F. Smith:
Partial Objects In Constructive Type Theory. LICS 1987: 183-193 - Robert Harper, Furio Honsell, Gordon D. Plotkin:
A Framework for Defining Logics. LICS 1987: 194-204 - Douglas J. Howe:
The Computational Behaviour of Girard's Paradox. LICS 1987: 205-214 - Stuart Allen:
A Non-Type-Theoretic Definition of Martin-Löf's Types. LICS 1987: 215-221
Session 6
- A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
The Hierarchy of Finitely Typed Functional Programs (Short Version). LICS 1987: 225-235 - Neil Immerman, Dexter Kozen:
Definability with Bounded Number of Bound Variables. LICS 1987: 236-244 - Wolfgang Thomas:
On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees. LICS 1987: 245-256 - Joseph Y. Halpern, Edward L. Wimmers:
Full Abstraction and Expressive Completenes for FP. LICS 1987: 257-271
Session 7
- Yoav Shoham:
A Semantical Approach to Nonmonotic Logics. LICS 1987: 275-279 - Ronald Fagin, Joseph Y. Halpern:
I'm OK if You're OK: On the Notion of Trusting Communication. LICS 1987: 280-292 - Andreas Goerdt:
Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative Languages. LICS 1987: 293-299
Session 8
- John C. Mitchell, Eugenio Moggi:
Kripke-Style models for typed lambda calculus. LICS 1987: 303-314 - Peter J. Freyd, Andre Scedrov:
Some Semantic Aspects of Polymorphic Lambda Calculus. LICS 1987: 315-319 - Corrado Böhm, Enrico Tronci:
X-Separability and Left-Invertibility in lambda-calculus. LICS 1987: 320-328
Session 9
- Leo Bachmair, Nachum Dershowitz:
Inference Rules for Rewrite-Based First-Order Theorem Proving. LICS 1987: 331-337 - Jean H. Gallier, Stan Raatz, Wayne Snyder:
Theorem Proving Using Rigid E-Unification Equational Matings. LICS 1987: 338-346 - Claude Kirchner, Pierre Lescanne:
Solving Disequations. LICS 1987: 347-352 - Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne:
Decidability of the Confluence of Ground Term Rewriting Systems. LICS 1987: 353-359
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 2024-12-03 20:16 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:
