ask others

8. CSL 1994: Kazimierz, Poland

> Home > Conferences and Workshops > CSL

- no documents available
- export record
  dblp key:
  - conf/csl/1994
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/1994
Leszek Pacholski, Jerzy Tiuryn:
Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Lecture Notes in Computer Science 933, Springer 1995, ISBN 3-540-60017-5

Lambda Calculus

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Aspinall94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Aspinall94
David Aspinall:
Subtyping with Singleton Types. 1-15
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BonoL94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/BonoL94
Viviana Bono, Luigi Liquori:
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. 16-30
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Brauner94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Brauner94
Torben Braüner:
The Girard Translation Extended with Recursion. 31-45
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Compagnoni94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Compagnoni94
Adriana B. Compagnoni:
Decidability of Higher-Order Subtyping with Intersection Types. 46-60
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Herbelin94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Herbelin94
Hugo Herbelin:
A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure. 61-75
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Kuper94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Kuper94
Jan Kuper:
Usability: Formalising (Un)definedness in Typed Lambda Calculus. 76-90
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Zaionc94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Zaionc94
Marek Zaionc:
Lambda Representation of Operations Between Fifferent Term Algebras. 91-105

Proof Theory

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BaazS94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/BaazS94
Matthias Baaz, Gernot Salzer:
Semi-Unification and Generalizations of a Particularly Simple Form. 106-120
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Benton94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Benton94
P. N. Benton:
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). 121-135
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Gordeev94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Gordeev94
Lew Gordeev:
Cut Free Formalization of Logic with Finitely Many Variables. Part I. 136-150
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/PudlakB94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/PudlakB94
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Courcelle94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Courcelle94
Bruno Courcelle:
Monadic Second-Order Logic and Linear Orderings of Finite Structures. 163-176
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/DurandR94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/DurandR94
Arnaud Durand, Solomampionona Ranaivoson:
First-Order Spectra with One Binary Predicate. 177-189
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/GrandjeanO94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/GrandjeanO94
Etienne Grandjean, Frédéric Olive:
Monadic Logical Definability of NP-Complete Problems. 190-204
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/LautemannST94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/LautemannST94
Clemens Lautemann, Thomas Schwentick, Denis Thérien:
Logics For Context-Free Languages. 205-216
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Malmstrom94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Malmstrom94
Anders Malmström:
Log-Approximable Minimization Problems on Random Inputs. 217-227
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/McArthur94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/McArthur94
Monica McArthur:
Convergence and 0-1 Laws for L_inf, omega^k under Arbitrary Measures. 228-241
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/StolboushkinT94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/StolboushkinT94
Alexei P. Stolboushkin, Michael A. Taitslin:
Is First Order Contained in an Initial Segment of PTIME? 242-248

Logic Programming

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/FinkelsteinFL94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/FinkelsteinFL94
Stacy E. Finkelstein, Peter J. Freyd, James Lipton:
Logic Programming in Tau Categories. 249-263
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/KriauciukasW94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/KriauciukasW94
Valentinas Kriauciukas, Michal Walicki:
Reasoning and Rewriting with Set-Relations I: Ground Completeness. 264-278
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Nivelle94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Nivelle94
Hans de Nivelle:
Resolution Games and Non-Liftable Resolution Orderings. 279-293
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Schulz94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Schulz94
Klaus U. Schulz:
On Existential Theories of List Concatenation. 294-308
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Tammet94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Tammet94
Tanel Tammet:
Completeness of Resolution for Definite Answers with Case Analysis. 309-323
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Voda94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Voda94
Paul J. Voda:
Subrecursion as a Basis for a Feasible Programming Language. 324-338

Semantics

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/CroleG94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/CroleG94
Roy L. Crole, Andrew D. Gordon:
A Sound Metalogical Semantics for Input/Output Effects. 339-353
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/FairtloughM94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/FairtloughM94
Matt Fairtlough, Michael Mendler:
An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. 354-368
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/LesterM94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/LesterM94
David R. Lester, Sava Mintchev:
Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. 369-381
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/MoschovakisW94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/MoschovakisW94
Yiannis N. Moschovakis, Glen T. Whitney:
Powerdomains, Powerstructures and Fairness. 382-396
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/PiessensS94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/PiessensS94
Frank Piessens, Eric Steegmans:
Canonical Forms for Data-Specifications. 397-411

Category Theory

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/HermidaJ94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/HermidaJ94
Claudio Hermida, Bart Jacobs:
An Algebraic View of Structural Induction. 412-426
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Hofmann94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Hofmann94
Martin Hofmann:
On the Interpretation of Type Theory in Locally Cartesian Closed Categories. 427-441

Other Logical Systems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/ChagrovS94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/ChagrovS94
Alexander V. Chagrov, Valentin B. Shehtman:
Algorithmic Aspects of Propositional Tense Logics. 442-455
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Cholewinski94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Cholewinski94
Pawel Cholewinski:
Stratified Default Theories. 456-470
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Klarlund94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Klarlund94
Nils Klarlund:
A Homomorphism Concepts for omega-Regularity. 471-485
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Marion94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Marion94
Daniel Leivant, Jean-Yves Marion:
Ramified Recurrence and Computational Complexity II: Substitution and Poly-Space. 486-500
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Marandjian94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Marandjian94
Hrant B. Marandjian:
General Form Recursive Equations I. 501-511
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Rybakov94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Rybakov94
Vladimir V. Rybakov:
Modal Logics Preserving Admissible for S4 Inference Rules. 512-526
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Sazonov94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Sazonov94
Vladimir Yu. Sazonov:
A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability. 527-541