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/stacs/stacs92.bht:"
download as .bib file
@inproceedings{DBLP:conf/stacs/Ambos-SpiesN92,
author = {Klaus Ambos{-}Spies and
Andr{\'{e}} Nies},
editor = {Alain Finkel and
Matthias Jantzen},
title = {The Theory of the Polynomial Many-One Degrees of Recursive Sets is
Undecidable},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {209--218},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_185},
doi = {10.1007/3-540-55210-3\_185},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Ambos-SpiesN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BachmannDN92,
author = {Peter Bachmann and
Thomas Drescher and
Sabine Nieke},
editor = {Alain Finkel and
Matthias Jantzen},
title = {{SPECI90:} {A} Term Rewriting and Narrowing System},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {619--620},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_224},
doi = {10.1007/3-540-55210-3\_224},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BachmannDN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BartlingH92,
author = {Frank Bartling and
Klaus H. Hinrichs},
editor = {Alain Finkel and
Matthias Jantzen},
title = {A Plane-Sweep Algorithm for Finding a Closest Pair Among Convex Planar
Objects},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {221--232},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_186},
doi = {10.1007/3-540-55210-3\_186},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BartlingH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Becker92,
author = {Bernd Becker},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Synthesis for Testability: Binary Decision Diagrams},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {501--512},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_208},
doi = {10.1007/3-540-55210-3\_208},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Becker92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BeckerFGOTW92,
author = {Bruno Becker and
Paolo Giulio Franciosa and
Stephan Gschwind and
Thomas Ohler and
Gerald Thiemt and
Peter Widmayer},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Enclosing Many Boxes by an Optimal Pair of Boxes},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {475--486},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_206},
doi = {10.1007/3-540-55210-3\_206},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BeckerFGOTW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Billaud92,
author = {Michel Billaud},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Axiomatizations of Backtracking},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {71--82},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_174},
doi = {10.1007/3-540-55210-3\_174},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Billaud92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Billaud92a,
author = {Michel Billaud},
editor = {Alain Finkel and
Matthias Jantzen},
title = {The {ANIGRAF} System},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {603--604},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_216},
doi = {10.1007/3-540-55210-3\_216},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Billaud92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Blum92,
author = {Norbert Blum},
editor = {Alain Finkel and
Matthias Jantzen},
title = {On Locally Optimal Alignments in Genetic Sequences},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {425--436},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_202},
doi = {10.1007/3-540-55210-3\_202},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Blum92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BodlaenderK92,
author = {Hans L. Bodlaender and
Ton Kloks},
editor = {Alain Finkel and
Matthias Jantzen},
title = {A Simple Linear Time Algorithm for Triangulating Three-Colored Graphs},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {415--423},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_201},
doi = {10.1007/3-540-55210-3\_201},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BodlaenderK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BogaertT92,
author = {Bruno Bogaert and
Sophie Tison},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Equality and Disequality Constraints on Direct Subterms in Tree Automata},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {161--171},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_181},
doi = {10.1007/3-540-55210-3\_181},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BogaertT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BookLW92,
author = {Ronald V. Book and
Jack H. Lutz and
Klaus W. Wagner},
editor = {Alain Finkel and
Matthias Jantzen},
title = {On Complexity Classes and Algorithmically Random Languages (Extended
Abstract)},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {319--328},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_193},
doi = {10.1007/3-540-55210-3\_193},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BookLW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Bruggemann-KleinW92,
author = {Anne Br{\"{u}}ggemann{-}Klein and
Derick Wood},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Deterministic Regular Languages},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {173--184},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_182},
doi = {10.1007/3-540-55210-3\_182},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Bruggemann-KleinW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CarlssonKT92,
author = {Svante Carlsson and
Jyrki Katajainen and
Jukka Teuhola},
editor = {Alain Finkel and
Matthias Jantzen},
title = {In-place Linear Probing Sort},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {581--587},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_214},
doi = {10.1007/3-540-55210-3\_214},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CarlssonKT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CastroS92,
author = {Jorge Castro and
Carlos Seara},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Characterizations of Some Complexity Classes Between Thetap{\_}2 and
Deltap{\_}2},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {305--317},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_192},
doi = {10.1007/3-540-55210-3\_192},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CastroS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Champarnaud92,
author = {Jean{-}Marc Champarnaud},
editor = {Alain Finkel and
Matthias Jantzen},
title = {A Programming Language for Symbolic Computation of Regular Languages,
Automata and Semigroups},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {605--606},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_217},
doi = {10.1007/3-540-55210-3\_217},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Champarnaud92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/ClarksonMS92,
author = {Kenneth L. Clarkson and
Kurt Mehlhorn and
Raimund Seidel},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Four Results on Randomized Incremental Constructions},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {463--474},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_205},
doi = {10.1007/3-540-55210-3\_205},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/ClarksonMS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Collavizza92,
author = {H{\'{e}}l{\`{e}}ne Collavizza},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Mu-SPEED: {A} System for the Specification and Verification of Microprocessors},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {607--608},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_218},
doi = {10.1007/3-540-55210-3\_218},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Collavizza92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Condon92,
author = {Anne Condon},
editor = {Alain Finkel and
Matthias Jantzen},
title = {A Theory of Strict P-completeness},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {33--44},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_171},
doi = {10.1007/3-540-55210-3\_171},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Condon92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CrochemoreLCGJPR92,
author = {Maxime Crochemore and
Thierry Lecroq and
Artur Czumaj and
Leszek Gasieniec and
Stefan Jarominek and
Wojciech Plandowski and
Wojciech Rytter},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Speeding Up Two String-Matching Algorithms},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {589--600},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_215},
doi = {10.1007/3-540-55210-3\_215},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CrochemoreLCGJPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CulikK92,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Iterative Devices Generating Infinite Words},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {531--543},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_210},
doi = {10.1007/3-540-55210-3\_210},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/CulikK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DammKMW92,
author = {Carsten Damm and
Matthias Krause and
Christoph Meinel and
Stephan Waack},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Separating Counting Communication Complexity Classes},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {281--292},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_190},
doi = {10.1007/3-540-55210-3\_190},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DammKMW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Deiss92,
author = {Thomas Dei{\ss}},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Conditional Seme-Thue Systems for Presenting Monoids},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {557--565},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_212},
doi = {10.1007/3-540-55210-3\_212},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Deiss92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DiehlJ92,
author = {Claire Diehl and
Claude Jard},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Interval Approximations of Message Causality in Distributed Executions},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {363--374},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_197},
doi = {10.1007/3-540-55210-3\_197},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DiehlJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Felice92,
author = {Clelia de Felice},
editor = {Alain Finkel and
Matthias Jantzen},
title = {On the Factorization Conjecture},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {545--556},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_211},
doi = {10.1007/3-540-55210-3\_211},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Felice92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Gaudel92,
author = {Marie{-}Claude Gaudel},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Structuring and Modularizing Algebraic Specifications: The {PLUSS}
Specification Language, Evolutions and Perspectives},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {3--18},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_169},
doi = {10.1007/3-540-55210-3\_169},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Gaudel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GrammatikakisJ92,
author = {Miltos D. Grammatikakis and
Jung{-}Sing Jwo},
editor = {Alain Finkel and
Matthias Jantzen},
title = {A Discrete Event Simulator of Communication Algorithms in Interconnection
Networks},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {609--610},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_219},
doi = {10.1007/3-540-55210-3\_219},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GrammatikakisJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GubasHW92,
author = {Xaver Gub{\'{a}}s and
Juraj Hromkovic and
Juraj Waczul{\'{\i}}k},
editor = {Alain Finkel and
Matthias Jantzen},
title = {A Nonlinear Lower Bound on the Practical Combinational Complexity},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {293--302},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_191},
doi = {10.1007/3-540-55210-3\_191},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GubasHW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GuptaN92,
author = {Arvind Gupta and
Naomi Nishimura},
editor = {Alain Finkel and
Matthias Jantzen},
title = {The Parallel Complexity of Tree Embedding Problems (Extended Abstract)},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {21--32},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_170},
doi = {10.1007/3-540-55210-3\_170},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GuptaN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Hagerup92,
author = {Torben Hagerup},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Fast and Optimal Simulations between {CRCW} PRAMs},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {45--56},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_172},
doi = {10.1007/3-540-55210-3\_172},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Hagerup92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Hagerup92a,
author = {Torben Hagerup},
editor = {Alain Finkel and
Matthias Jantzen},
title = {The Log-Star Revolution},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {259--278},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_189},
doi = {10.1007/3-540-55210-3\_189},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Hagerup92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/HanselPS92,
author = {Georges Hansel and
Dominique Perrin and
Imre Simon},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Compression and Entropy},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {515--528},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_209},
doi = {10.1007/3-540-55210-3\_209},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/HanselPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/HeideP92,
author = {Friedhelm Meyer auf der Heide and
Hieu Thien Pham},
editor = {Alain Finkel and
Matthias Jantzen},
title = {On the Performance of Networks with Multiple Busses},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {97--108},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_176},
doi = {10.1007/3-540-55210-3\_176},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/HeideP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Hertrampf92,
author = {Ulrich Hertrampf},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Locally Definable Acceptance Types for Polynomial Time Machines},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {199--207},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_184},
doi = {10.1007/3-540-55210-3\_184},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Hertrampf92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KalyanasundaramP92,
author = {Bala Kalyanasundaram and
Kirk Pruhs},
editor = {Alain Finkel and
Matthias Jantzen},
title = {A Competitive Analysis of Nearest Neighbor Based Algorithms for Searching
Unknown Scenes (Preliminary Version)},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {147--157},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_180},
doi = {10.1007/3-540-55210-3\_180},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KalyanasundaramP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Kann92,
author = {Viggo Kann},
editor = {Alain Finkel and
Matthias Jantzen},
title = {On the Approximability of the Maximum Common Subgraph Problem},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {377--388},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_198},
doi = {10.1007/3-540-55210-3\_198},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Kann92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KapurB92,
author = {Shyam Kapur and
Gianfranco Bilardi},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Language Learning without Overgeneralization},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {245--256},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_188},
doi = {10.1007/3-540-55210-3\_188},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KapurB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KaufmannMV92,
author = {Michael Kaufmann and
Paul Molitor and
Wolfgang Vogelgesang},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Performance Driven k-Layer Wiring},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {489--500},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_207},
doi = {10.1007/3-540-55210-3\_207},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/KaufmannMV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KlasingMPS92,
author = {Ralf Klasing and
Burkhard Monien and
Regine Peine and
Elena St{\"{o}}hr},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Broadcasting in Butterfly and DeBruijn Networks},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {351--362},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_196},
doi = {10.1007/3-540-55210-3\_196},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KlasingMPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KoblerST92,
author = {Johannes K{\"{o}}bler and
Uwe Sch{\"{o}}ning and
Jacobo Tor{\'{a}}n},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Graph Isomorphism is Low for {PP}},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {401--411},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_200},
doi = {10.1007/3-540-55210-3\_200},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KoblerST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LarmoreR92,
author = {Lawrence L. Larmore and
Wojciech Rytter},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Efficient Sublinear Time Parallel Algorithms for Dynamic Programming
and Context-Free Recognition},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {121--132},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_178},
doi = {10.1007/3-540-55210-3\_178},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/LarmoreR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Lin92,
author = {Huimin Lin},
editor = {Alain Finkel and
Matthias Jantzen},
title = {An Interactive Proof Tool for Process Algebras},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {617--618},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_223},
doi = {10.1007/3-540-55210-3\_223},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Lin92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Lorys92,
author = {Krzysztof Lorys},
editor = {Alain Finkel and
Matthias Jantzen},
title = {New Time Hierarchy Results for Deterministic TMs},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {329--336},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_194},
doi = {10.1007/3-540-55210-3\_194},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Lorys92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MadelaineV92,
author = {Eric Madelaine and
Didier Vergamini},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Verification of Communicating Processes by Means of Automata Reduction
and Abstraction},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {613--614},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_221},
doi = {10.1007/3-540-55210-3\_221},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MadelaineV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/NassorV92,
author = {Eric Nassor and
Guy Vidal{-}Naquet},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Suitability of the Propositional Temporal Logic to Express Properties
of Real-Time Systems},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {59--70},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_173},
doi = {10.1007/3-540-55210-3\_173},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/NassorV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/OstrovskyVY92,
author = {Rafail Ostrovsky and
Ramarathnam Venkatesan and
Moti Yung},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Secure Commitment Against {A} Powerful Adversary},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {439--448},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_203},
doi = {10.1007/3-540-55210-3\_203},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/OstrovskyVY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/PfitzmannW92,
author = {Birgit Pfitzmann and
Michael Waidner},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Unconditional Byzantine Agreement for any Number of Faulty Processors},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {339--350},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_195},
doi = {10.1007/3-540-55210-3\_195},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/PfitzmannW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/PreparataV92,
author = {Franco P. Preparata and
Jeffrey Scott Vitter},
editor = {Alain Finkel and
Matthias Jantzen},
title = {A Simplified Technique for Hidden-Line Elimination in Terrains},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {135--146},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_179},
doi = {10.1007/3-540-55210-3\_179},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/PreparataV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/RadhakrishnanHS92,
author = {Venkatesh Radhakrishnan and
Harry B. Hunt III and
Richard Edwin Stearns},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Efficient Algorithms for Solving Systems of Linear Equations and Path
Problems},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {109--119},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_177},
doi = {10.1007/3-540-55210-3\_177},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/RadhakrishnanHS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/RobertT92,
author = {Jean{-}Marc Robert and
Godfried T. Toussaint},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Linear Approximation of Simple Objects},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {233--244},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_187},
doi = {10.1007/3-540-55210-3\_187},
timestamp = {Fri, 24 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/RobertT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SantisP92,
author = {Alfredo De Santis and
Giuseppe Persiano},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Communication Efficient Zero-Knowledge Proofs of Knowledge (With Applications
to Electronic Cash)},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {449--460},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_204},
doi = {10.1007/3-540-55210-3\_204},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SantisP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SharirW92,
author = {Micha Sharir and
Emo Welzl},
editor = {Alain Finkel and
Matthias Jantzen},
title = {A Combinatorial Bound for Linear Programming and Related Problems},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {569--579},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_213},
doi = {10.1007/3-540-55210-3\_213},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SharirW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SheuL92,
author = {Ming{-}Jye Sheu and
Timothy J. Long},
editor = {Alain Finkel and
Matthias Jantzen},
title = {The Extended Low Hierarchy Is an Infinite Hierarchy},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {187--198},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_183},
doi = {10.1007/3-540-55210-3\_183},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SheuL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SpirakisTPKVAKMS92,
author = {Paul G. Spirakis and
Basil Tampakas and
Marina Papatriantafilou and
K. Konstantoulis and
K. Vlaxodimitropoulos and
V. Antonopoulos and
P. Kazazis and
T. Metallidou and
D. Spartiotis},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Distributed System Simulator {(DSS)}},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {615--616},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_222},
doi = {10.1007/3-540-55210-3\_222},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SpirakisTPKVAKMS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Unger92,
author = {Walter Unger},
editor = {Alain Finkel and
Matthias Jantzen},
title = {The Complexity of Colouring Circle Graphs (Extended Abstract)},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {389--400},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_199},
doi = {10.1007/3-540-55210-3\_199},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Unger92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Verge92,
author = {Herv{\'{e}} Le Verge},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Alpha du Centaur: An Environment for the Design of Systolic Arrays},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {611--612},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_220},
doi = {10.1007/3-540-55210-3\_220},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Verge92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Villemaire92,
author = {Roger Villemaire},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Joining k- and l-Recognizable Sets of Natural Numbers},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {83--94},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_175},
doi = {10.1007/3-540-55210-3\_175},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Villemaire92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1992,
editor = {Alain Finkel and
Matthias Jantzen},
title = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3},
doi = {10.1007/3-540-55210-3},
isbn = {3-540-55210-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/1992.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-04-23 16:23 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:
