8. CSL 1994: Kazimierz, Poland
Leszek Pacholski, Jerzy Tiuryn (Eds.): Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Springer 1995 Lecture Notes in Computer Science 933 ISBN 3-540-60017-5
Lambda Calculus
- David Aspinall: Subtyping with Singleton Types. 1-15
- Viviana Bono, Luigi Liquori: A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. 16-30
- Torben Braüner: The Girard Translation Extended with Recursion. 31-45
- Adriana B. Compagnoni: Decidability of Higher-Order Subtyping with Intersection Types. 46-60
- Hugo Herbelin: A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure. 61-75
- Jan Kuper: Usability: Formalising (Un)definedness in Typed Lambda Calculus. 76-90
- Marek Zaionc: Lambda Representation of Operations Between Fifferent Term Algebras. 91-105
Proof Theory
- Matthias Baaz, Gernot Salzer: Semi-Unification and Generalizations of a Particularly Simple Form. 106-120
- P. N. Benton: A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). 121-135
- Lew Gordeev: Cut Free Formalization of Logic with Finitely Many Variables. Part I. 136-150
- Pavel Pudlák, Samuel R. Buss: How to Lie Without Being (Easily) Convicted and the Length of Proofs in Propositional Calculus. 151-162
Finite Model Theory
- Bruno Courcelle: Monadic Second-Order Logic and Linear Orderings of Finite Structures. 163-176
- Anders Malmström: Log-Approximable Minimization Problems on Random Inputs. 217-227
- Monica McArthur: Convergence and 0-1 Laws for L_inf, omega^k under Arbitrary Measures. 228-241
- Alexei P. Stolboushkin, Michael A. Taitslin: Is First Order Contained in an Initial Segment of PTIME? 242-248
Logic Programming
- Valentinas Kriauciukas, Michal Walicki: Reasoning and Rewriting with Set-Relations I: Ground Completeness. 264-278
- Hans de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. 279-293
- Klaus U. Schulz: On Existential Theories of List Concatenation. 294-308
- Tanel Tammet: Completeness of Resolution for Definite Answers with Case Analysis. 309-323
- Paul J. Voda: Subrecursion as a Basis for a Feasible Programming Language. 324-338
Semantics
- Matt Fairtlough, Michael Mendler: An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. 354-368
- David R. Lester, Sava Mintchev: Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. 369-381
Category Theory
- Martin Hofmann: On the Interpretation of Type Theory in Locally Cartesian Closed Categories. 427-441
Other Logical Systems
- Alexander V. Chagrov, Valentin B. Shehtman: Algorithmic Aspects of Propositional Tense Logics. 442-455
- Pawel Cholewinski: Stratified Default Theories. 456-470
- Nils Klarlund: A Homomorphism Concepts for omega-Regularity. 471-485
- Daniel Leivant, Jean-Yves Marion: Ramified Recurrence and Computational Complexity II: Substitution and Poly-Space. 486-500
- Hrant B. Marandjian: General Form Recursive Equations I. 501-511
- Vladimir V. Rybakov: Modal Logics Preserving Admissible for S4 Inference Rules. 512-526
- Vladimir Yu. Sazonov: A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability. 527-541
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-04-17T203404 by the dblp team