default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/csl/csl98.bht:"
download as .bib file
@proceedings{DBLP:conf/csl/1998,
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10703163},
doi = {10.1007/10703163},
isbn = {3-540-65922-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Altenkirch98,
author = {Thorsten Altenkirch},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Logical Relations and Inductive/Coinductive Types},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {343--354},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_23},
doi = {10.1007/10703163\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Altenkirch98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BaazV98,
author = {Matthias Baaz and
Helmut Veith},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Quantifier Elimination in Fuzzy Logic},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {399--414},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_27},
doi = {10.1007/10703163\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BaazV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Barthe98,
author = {Gilles Barthe},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Existence and Uniqueness of Normal Forms in Pure Type Systems with
betaeta-Conversion},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {241--259},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_17},
doi = {10.1007/10703163\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Barthe98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonfanteCMT98,
author = {Guillaume Bonfante and
Adam Cichon and
Jean{-}Yves Marion and
H{\'{e}}l{\`{e}}ne Touzet},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Complexity Classes and Rewrite Systems with Polynomial Interpretation},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {372--384},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_25},
doi = {10.1007/10703163\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BonfanteCMT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Buning98,
author = {Hans Kleine{ }B{\"{u}}ning},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {An Upper Bound for Minimal Resolution Refutations},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {171--178},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_12},
doi = {10.1007/10703163\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Buning98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Egly98,
author = {Uwe Egly},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Quantifers and the System {KE:} Some Surprising Results},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {90--104},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_7},
doi = {10.1007/10703163\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Egly98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GiannottiMNP98,
author = {Fosca Giannotti and
Giuseppe Manco and
Mirco Nanni and
Dino Pedreschi},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal
Logic Databases},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {58--72},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_5},
doi = {10.1007/10703163\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GiannottiMNP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hajek98,
author = {Petr H{\'{a}}jek},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Trakhtenbrot Theorem and Fuzzy Logic},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {1--8},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_1},
doi = {10.1007/10703163\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hajek98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hoang98,
author = {H. Khanh Hoang},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Choice Construct and Lindstr{\"{o}}m Logics},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {105--125},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_8},
doi = {10.1007/10703163\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hoang98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KempeS98,
author = {David Kempe and
Arno Sch{\"{o}}egge},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {On the Power of Quantifers in First-Order Algebraic Specification},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {45--57},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_4},
doi = {10.1007/10703163\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KempeS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KhasidashviliP98,
author = {Zurab Khasidashvili and
Adolfo Piperno},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Normalization of Typable Terms by Superdevelopments},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {260--282},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_18},
doi = {10.1007/10703163\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KhasidashviliP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KomaraV98,
author = {J{\'{a}}n Komara and
Paul J. Voda},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Theorems af P{\'{e}}ter and Parsons in Computer Programming},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {204--223},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_15},
doi = {10.1007/10703163\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KomaraV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KorovinaK98,
author = {Margarita V. Korovina and
Oleg V. Kudinov},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Characteristic Properties of Majorant-Computability over the Reals},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {188--203},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_14},
doi = {10.1007/10703163\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KorovinaK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KreidlerS98,
author = {Martin Kreidler and
Detlef Seese},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Monadic {NP} and Graph Minors},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {126--141},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_9},
doi = {10.1007/10703163\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KreidlerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Lukasiewicz98,
author = {Thomas Lukasiewicz},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Many-Valued First-Order Logics with Probabilistic Semantics},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {415--429},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_28},
doi = {10.1007/10703163\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Lukasiewicz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Makowsky98,
author = {Johann A. Makowsky},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Invariant Definability and P/\emph{poly}},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {142--158},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_10},
doi = {10.1007/10703163\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Makowsky98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MarekPT98,
author = {V. Wiktor Marek and
Inna Pivkina and
Miroslaw Truszczynski},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Revision Programming = Logic Programming + Integrity Constraints},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {73--89},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_6},
doi = {10.1007/10703163\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MarekPT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Matthes98,
author = {Ralph Matthes},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Monotone Fixed-Point Types and Strong Normalization},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {298--312},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_20},
doi = {10.1007/10703163\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Matthes98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/NarendranRV98,
author = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch and
Rakesh M. Verma},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {{RPO} Constraint Solving Is in {NP}},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {385--398},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_26},
doi = {10.1007/10703163\_26},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/NarendranRV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Pezzoli98,
author = {Elena Pezzoli},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Computational Complexity of Ehrenfeucht-Fra{\"{\i}}ss{\'{e}}
Games on Finite Structures},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {159--170},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_11},
doi = {10.1007/10703163\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Pezzoli98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Pichler98,
author = {Reinhard Pichler},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {On the Complexity of H-Subsumption},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {355--371},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_24},
doi = {10.1007/10703163\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Pichler98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RicheM98,
author = {Jacques Riche and
Robert K. Meyer},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Belnap, Urquhart and Relevant Decidability {\&} Complexity. "Das
ist nicht Mathematik, das ist Theologie."},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {224--240},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_16},
doi = {10.1007/10703163\_16},
timestamp = {Sun, 28 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/RicheM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Sadowski98,
author = {Zenon Sadowski},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {On an Optimal Deterministic Algorithm for {SAT}},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {179--187},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_13},
doi = {10.1007/10703163\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Sadowski98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schwentick98,
author = {Thomas Schwentick},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Descriptive Complexity, Lower Bounds and Linear Time},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {9--28},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_2},
doi = {10.1007/10703163\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schwentick98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Simpson98,
author = {Alex K. Simpson},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Computational Adequacy in an Elementary Topos},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {323--342},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_22},
doi = {10.1007/10703163\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Simpson98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Statman98,
author = {Richard Statman},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Morphisms and Partitions of V-sets},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {313--322},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_21},
doi = {10.1007/10703163\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Statman98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Vorobyov98,
author = {Sergei G. Vorobyov},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Subtyping Functional+Nonempty Record Types},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {283--297},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_19},
doi = {10.1007/10703163\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Vorobyov98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/YannakakisL98,
author = {Mihalis Yannakakis and
David Lee},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Testing for Finite State Systems},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {29--44},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_3},
doi = {10.1007/10703163\_3},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/YannakakisL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-10-01 05:31 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:
