Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/csl/csl97.bht:"
download as .bib file
@proceedings{DBLP:conf/csl/1997,
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028003},
doi = {10.1007/BFB0028003},
isbn = {3-540-64570-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AbramskyM97,
author = {Samson Abramsky and
Guy McCusker},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Call-by-Value Games},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {1--17},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028004},
doi = {10.1007/BFB0028004},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AbramskyM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AyariBP97,
author = {Abdelwaheb Ayari and
David A. Basin and
Andreas Podelski},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {{LISA:} {A} Specification Language Based on {WS2S}},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {18--34},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028005},
doi = {10.1007/BFB0028005},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AyariBP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BackofenC97,
author = {Rolf Backofen and
Peter Clote},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Evolution as a Computational Engine},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {35--55},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028006},
doi = {10.1007/BFB0028006},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BackofenC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BaillotDER97,
author = {Patrick Baillot and
Vincent Danos and
Thomas Ehrhard and
Laurent Regnier},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Timeless Games},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {56--77},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028007},
doi = {10.1007/BFB0028007},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BaillotDER97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BarberGHP97,
author = {Andrew G. Barber and
Philippa Gardner and
Masahito Hasegawa and
Gordon D. Plotkin},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {From Action Calculi to Linear Logic},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {78--97},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028008},
doi = {10.1007/BFB0028008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BarberGHP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonattiO97,
author = {Piero A. Bonatti and
Nicola Olivetti},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Sequent Calculus for Circumscription},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {98--114},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028009},
doi = {10.1007/BFB0028009},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BonattiO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonetG97,
author = {Maria Luisa Bonet and
Nicola Galesi},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Linear Lower Bounds and Simulations in Frege Systems with Substitutions},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {115--128},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028010},
doi = {10.1007/BFB0028010},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BonetG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BraunerP97,
author = {Torben Bra{\"{u}}ner and
Valeria de Paiva},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Formulation of Linear Logic Based on Dependency-Relations},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {129--148},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028011},
doi = {10.1007/BFB0028011},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BraunerP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BussP97,
author = {Samuel R. Buss and
Toniann Pitassi},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Resolution and the Weak Pigeonhole Principle},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {149--156},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028012},
doi = {10.1007/BFB0028012},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BussP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ComonJ97,
author = {Hubert Comon and
Yan Jurski},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Higher-Order Matching and Tree Automata},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {157--176},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028013},
doi = {10.1007/BFB0028013},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ComonJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CoquandP97,
author = {Thierry Coquand and
Henrik Persson},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Proof-Theoretical Investigation of Zantema's Problem},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {177--188},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028014},
doi = {10.1007/BFB0028014},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/CoquandP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DurandFL97,
author = {Arnaud Durand and
Ronald Fagin and
Bernd Loescher},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Spectra with Only Unary Function Symbols},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {189--202},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028015},
doi = {10.1007/BFB0028015},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DurandFL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Faggian97,
author = {Claudia Faggian},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Classical Proofs via Basic Logic},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {203--219},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028016},
doi = {10.1007/BFB0028016},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Faggian97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Grohe97,
author = {Martin Grohe},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Canonization for L\({}^{\mbox{k}}\)-equivalence is Hard},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {220--238},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028017},
doi = {10.1007/BFB0028017},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Grohe97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HartonasH97,
author = {Chrysafis Hartonas and
Matthew Hennessy},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Full Abstractness for a Functional/Concurrent Language with Higher-Order
Value-Passing (Extended Abstract)},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {239--254},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028018},
doi = {10.1007/BFB0028018},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HartonasH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HeckmannH97,
author = {Reinhold Heckmann and
Michael Huth},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Duality Theory for Quantitative Semantics},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {255--274},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028019},
doi = {10.1007/BFB0028019},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HeckmannH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hofmann97,
author = {Martin Hofmann},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook
Safe Recursion},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {275--294},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028020},
doi = {10.1007/BFB0028020},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hofmann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hollenberg97,
author = {Marco Hollenberg},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Equational Axioms of Test Algebra},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {295--310},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028021},
doi = {10.1007/BFB0028021},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hollenberg97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Klarlund97,
author = {Nils Klarlund},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Mona {\&} Fido: The Logic-Automaton Connection in Practice},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {311--326},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028022},
doi = {10.1007/BFB0028022},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Klarlund97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KupfermanKY97,
author = {Orna Kupferman and
Robert P. Kurshan and
Mihalis Yannakakis},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Existence of Reduction Hierarchies},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {327--340},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028023},
doi = {10.1007/BFB0028023},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KupfermanKY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Moschovakis97,
author = {Yiannis N. Moschovakis},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus,
with Full Recursion},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {341--359},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028024},
doi = {10.1007/BFB0028024},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Moschovakis97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Olive97,
author = {Fr{\'{e}}d{\'{e}}ric Olive},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Conjunctive Logical Characterization of Nondeterministic Linear
Time},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {360--372},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028025},
doi = {10.1007/BFB0028025},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Olive97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Pezzoli97,
author = {Elena Pezzoli},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {On the Computational Complexity of Type 2 Functionals},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {373--388},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028026},
doi = {10.1007/BFB0028026},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Pezzoli97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Power97,
author = {A. John Power},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Categories with Algebraic Structure},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {389--405},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028027},
doi = {10.1007/BFB0028027},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Power97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RuetF97,
author = {Paul Ruet and
Fran{\c{c}}ois Fages},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Concurrent Constraint Programming and Non-commutative Logic},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {406--423},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028028},
doi = {10.1007/BFB0028028},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/RuetF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schiering97,
author = {Ina Schiering},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Hierarchical Approach to Monadic Second-Order Logic over Graphs},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {424--440},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028029},
doi = {10.1007/BFB0028029},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schiering97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schweikardt97,
author = {Nicole Schweikardt},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {The Monadic Quantifier Alternation Hierarchy over Grids and Pictures},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {441--460},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028030},
doi = {10.1007/BFB0028030},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schweikardt97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schwentick97,
author = {Thomas Schwentick},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Padding and the Expressive Power of Existential Second-Order Logics},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {461--477},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028031},
doi = {10.1007/BFB0028031},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schwentick97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Staiger97,
author = {Ludwig Staiger},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Rich omega-Words and Monadic Second-Order Arithmetic},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {478--490},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028032},
doi = {10.1007/BFB0028032},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Staiger97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Voda97,
author = {Paul J. Voda},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {A Simple Ordinal Recursive Normalization of G{\"{o}}del's {T}},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {491--509},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028033},
doi = {10.1007/BFB0028033},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Voda97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-01 08:34 CEST from data curated 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:
