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/csl91.bht:"
download as .bib file
@proceedings{DBLP:conf/csl/1991,
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023753},
doi = {10.1007/BFB0023753},
isbn = {3-540-55789-X},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BarguryM91,
author = {Yaniv Bargury and
Johann A. Makowsky},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {The Expressive Power of Transitive Closue and 2-way Multihead Automata},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {1--14},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023754},
doi = {10.1007/BFB0023754},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/BarguryM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BeierleB91,
author = {Christoph Beierle and
Egon B{\"{o}}rger},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Correctness Proof For the {WAM} with Types},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {15--34},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023755},
doi = {10.1007/BFB0023755},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BeierleB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BestE91,
author = {Eike Best and
Javier Esparza},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Model Checking of Persistent Petri Nets},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {35--52},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023756},
doi = {10.1007/BFB0023756},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BestE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Bosli91,
author = {Brigitte B{\"{o}}sli},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Stable Logic},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {201--212},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023768},
doi = {10.1007/BFB0023768},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Bosli91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChirimarL91,
author = {Jawahar Chirimar and
James Lipton},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Provability in {TBLL:} {A} Decision Procedure},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {53--67},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023757},
doi = {10.1007/BFB0023757},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ChirimarL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Dahlhaus91,
author = {Elias Dahlhaus},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {How to Implement First Order Formulas in Local Memory Machine Models},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {68--78},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023758},
doi = {10.1007/BFB0023758},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Dahlhaus91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Feferman91,
author = {Solomon Feferman},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {A New Approach to Abstract Data Types {II:} Computation on ADTs as
Ordinary Computation},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {79--95},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023759},
doi = {10.1007/BFB0023759},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Feferman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Fernando91,
author = {Tim Fernando},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {A Primitive Recursive Set Theory and {AFA:} On the Logical Complexity
of the Largest Bisimulation},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {96--110},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023760},
doi = {10.1007/BFB0023760},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Fernando91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Flum91,
author = {J{\"{o}}rg Flum},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On Bounded Theories},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {111--118},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023761},
doi = {10.1007/BFB0023761},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Flum91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Goerdt91,
author = {Andreas Goerdt},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {The Cutting Plane Proof System with Bounded Degree of Falsity},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {119--133},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023762},
doi = {10.1007/BFB0023762},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Goerdt91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Gonzalez-MorenoHR91,
author = {Juan Carlos Gonz{\'{a}}lez Moreno and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Denotational Versus Declarative Semantics for Functional Programming},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {134--148},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023763},
doi = {10.1007/BFB0023763},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Gonzalez-MorenoHR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Gradel91,
author = {Erich Gr{\"{a}}del},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On Transitive Closure Logic},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {149--163},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023764},
doi = {10.1007/BFB0023764},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Gradel91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HeuschS91,
author = {Peter Heusch and
Ewald Speckenmeyer},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Some Aspects of the Probabilistic Behavior of Variants of Resolution},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {164--172},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023765},
doi = {10.1007/BFB0023765},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HeuschS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hirshfeld91,
author = {Yoram Hirshfeld},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Safe Queries in Relational Databases with Functions},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {173--183},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023766},
doi = {10.1007/BFB0023766},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hirshfeld91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hooker91,
author = {John N. Hooker},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Logical Inference and Polyhedral Projection},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {184--200},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023767},
doi = {10.1007/BFB0023767},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hooker91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Lavalette91,
author = {Gerard R. Renardel de Lavalette},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Logical Semantics of Modularisation},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {306--315},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023776},
doi = {10.1007/BFB0023776},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Lavalette91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Lehmann91,
author = {Daniel Lehmann},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Plausibility Logic},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {227--241},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023770},
doi = {10.1007/BFB0023770},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Lehmann91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Leiss91,
author = {Hans Lei{\ss}},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Towards Kleene Algebra with Recursion},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {242--256},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023771},
doi = {10.1007/BFB0023771},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Leiss91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Meinke91,
author = {Karl Meinke},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Equational Specification of Abstract Types and Combinators},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {257--271},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023772},
doi = {10.1007/BFB0023772},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Meinke91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Mundici91,
author = {Daniele Mundici},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Normal Forms in Infinite-Valued Logic: The Case of One Variable},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {272--277},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023773},
doi = {10.1007/BFB0023773},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Mundici91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Oguztuzun91,
author = {Halit Oguzt{\"{u}}z{\"{u}}n},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {A Fragment of First Order Logic Adequate for Observation Equivalence},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {278--292},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023774},
doi = {10.1007/BFB0023774},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Oguztuzun91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Pinchinat91,
author = {Sophie Pinchinat},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Ordinal Processes in Comparative Concurrency Semantics},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {293--305},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023775},
doi = {10.1007/BFB0023775},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Pinchinat91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RaoKS91,
author = {M. R. K. Krishna Rao and
Deepak Kapur and
R. K. Shyamasundar},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {A Transformational Methodology for Proving Termination of Logic Programs},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {213--226},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023769},
doi = {10.1007/BFB0023769},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/RaoKS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schmerl91,
author = {Ulf R. Schmerl},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {316--325},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023777},
doi = {10.1007/BFB0023777},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schmerl91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schwichtenberg91,
author = {Helmut Schwichtenberg},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Minimal from Classical Proofs},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {326--328},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023778},
doi = {10.1007/BFB0023778},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schwichtenberg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Seibert91,
author = {Sebastian Seibert},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Quantifier Hierarchies over Word Relations},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {329--352},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023779},
doi = {10.1007/BFB0023779},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Seibert91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Stewart91,
author = {Iain A. Stewart},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On Completeness for {NP} via Projection Translations},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {353--366},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023781},
doi = {10.1007/BFB0023781},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Stewart91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ThistleW91,
author = {John G. Thistle and
Walter Murray Wonham},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Control of omega-Automata, Church's Problem, and the Emptiness Problem
for Tree omega-Automata},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {367--382},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023782},
doi = {10.1007/BFB0023782},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ThistleW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Troelstra91,
author = {A. S. Troelstra},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Comparing the Theory of Representations and Constructive Mathematics},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {383--395},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023783},
doi = {10.1007/BFB0023783},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Troelstra91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Tyszkiewicz91,
author = {Jerzy Tyszkiewicz},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Infinitary Queries and Their Asymptotic Probabilities {I:} Properties
Definable in Transitive Closue Logic},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {396--410},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023784},
doi = {10.1007/BFB0023784},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Tyszkiewicz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Voronkov91,
author = {Andrei Voronkov},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On Completeness of Program Synthesis Systems},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {411--418},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023785},
doi = {10.1007/BFB0023785},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Voronkov91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Weiermann91,
author = {Andreas Weiermann},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Proving Termination for Term Rewriting Systems},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {419--428},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023786},
doi = {10.1007/BFB0023786},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Weiermann91.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-30 11:45 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:
