ask others

9. CSL 1995: Paderborn, Germany

> Home > Conferences and Workshops > CSL

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/1995
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/1995
Hans Kleine Büning:
Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers. Lecture Notes in Computer Science 1092, Springer 1996, ISBN 3-540-61377-3
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BaazLZ95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/BaazLZ95
Matthias Baaz, Alexander Leitsch, Richard Zach:
Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. 1-15
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BarrosG95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/BarrosG95
José Barros, Joseph A. Goguen:
Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. 16-35
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BartheG95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/BartheG95
Gilles Barthe, Herman Geuvers:
Congruence Types. 36-51
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BeckertH95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/BeckertH95
Bernhard Beckert, Reiner Hähnle:
Deduction by Combining Semantic Tableaux and Integer Programming. 52-63
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BeckertP95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/BeckertP95
Bernhard Beckert, Joachim Posegga:
leanEA: A Lean Evolving Algebra Compiler. 64-85
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BlackburnMR95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/BlackburnMR95
Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke:
A Proof System for Finite Trees. 86-105
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BrownW95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/BrownW95
Jason Brown, Lincoln A. Wallen:
Representing Unification in a Logical Framework. 106-129
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/CaferraP95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/CaferraP95
Ricardo Caferra, Nicolas Peltier:
Decision Procedures Using Model Building Techniques. 130-144
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Clote95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Clote95
Peter Clote:
A Note on the Relation Between Polynomial Time Functionals and Constable's Class K. 145-160
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/csl/DawarLW95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/DawarLW95
Anuj Dawar, Steven Lindell, Scott Weinstein:
First Order Logic, Fixed Point Logic and Linear Order. 161-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/DegtyarevV95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/DegtyarevV95
Anatoli Degtyarev, Andrei Voronkov:
Simultaneous Regid E-Unification Is Undecidable. 178-190
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/CastilloDG95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/CastilloDG95
Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer:
An Evolving Algebra Abstract Machine. 191-214
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/CosmoK95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/CosmoK95
Roberto Di Cosmo, Delia Kesner:
Rewriting with Extensional Polymorphic Lambda-Calculus. 215-232
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/DrosteK95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/DrosteK95
Manfred Droste, Dietrich Kuske:
Languages and Logical Definability in Concurrency Monoids. 233-251
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/GrumbachLL95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/GrumbachLL95
Stéphane Grumbach, Zoé Lacroix, Steven Lindell:
Generalized Implicit Definitions on Finite Structures. 252-265
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/GurevichH95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/GurevichH95
Yuri Gurevich, James K. Huggins:
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. 266-290
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Hasegawa95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Hasegawa95
Ryu Hasegawa:
A Logical Aspect of Parametric Polymorphism. 291-307
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/HeuerdingS95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/HeuerdingS95
Alain Heuerding, Stefan Schwendimann:
On the Modal Logic K Plus Theories. 308-319
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Hudelmaier95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Hudelmaier95
Jörg Hudelmaier:
Improved Decision Procedures for the Modal Logics K, T, and S4. 320-334
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/IngolfsdottirS95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/IngolfsdottirS95
Anna Ingólfsdóttir, Andrea Schalk:
A Fully Abstract Denotational Model for Observational Precongruence. 335-361
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Johannsen95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Johannsen95
Jan Johannsen:
On Sharply Bounded Length Induction. 362-367
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/KummerO95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/KummerO95
Martin Kummer, Matthias Ott:
Effective Strategies for Enumeration Games. 368-387
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Leiss95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Leiss95
Hans Leiß:
Bounded Fixed-Point Definability and Tabular Recognition of Languages. 388-402
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Mossakoski95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Mossakoski95
Till Mossakowski:
Equivalences among Various Logical Frameworks of Partial Algebras. 403-433
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Pandya95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Pandya95
Paritosh K. Pandya:
Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability. 434-451
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Rubio95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Rubio95
Albert Rubio:
Theorem Proving modulo Associativity. 452-467
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Vigneron95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Vigneron95
Laurent Vigneron:
Positive Deduction modulo Regular Theories. 468-485

maintained by

, founded at