11. CSL 1997: Aarhus, Denmark Mogens Nielsen , Wolfgang Thomas (Eds.):
Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers.
Lecture Notes in Computer Science 1414 Springer 1998, ISBN 3-540-64570-5
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Martin Grohe :
Canonization for Lk -equivalence is Hard.
220-238
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Martin Hofmann :
A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion.
275-294
export record as
dblp key:
export record as
dblp key:
Nils Klarlund :
Mona & Fido: The Logic-Automaton Connection in Practice.
311-326
export record as
dblp key:
export record as
dblp key:
Yiannis N. Moschovakis :
A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, with Full Recursion.
341-359
export record as
dblp key:
Frédéric Olive :
A Conjunctive Logical Characterization of Nondeterministic Linear Time.
360-372
export record as
dblp key:
Elena Pezzoli :
On the Computational Complexity of Type 2 Functionals.
373-388
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ina Schiering :
A Hierarchical Approach to Monadic Second-Order Logic over Graphs.
424-440
export record as
dblp key:
Nicole Schweikardt :
The Monadic Quantifier Alternation Hierarchy over Grids and Pictures.
441-460
export record as
dblp key:
Thomas Schwentick :
Padding and the Expressive Power of Existential Second-Order Logics.
461-477
export record as
dblp key:
Ludwig Staiger :
Rich omega-Words and Monadic Second-Order Arithmetic.
478-490
export record as
dblp key:
Paul J. Voda :
A Simple Ordinal Recursive Normalization of Gödel's T.
491-509
data released under the ODC-BY 1.0 license
