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/wia/ciaa2002.bht:"
download as .bib file
@proceedings{DBLP:conf/wia/2002,
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44977-9},
doi = {10.1007/3-540-44977-9},
isbn = {3-540-40391-4},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AllauzenM02,
author = {Cyril Allauzen and
Mehryar Mohri},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {p-Subsequentiable Transducers},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {24--34},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_2},
doi = {10.1007/3-540-44977-9\_2},
timestamp = {Thu, 02 Jun 2022 15:19:47 +0200},
biburl = {https://dblp.org/rec/conf/wia/AllauzenM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AlonsoDF02,
author = {Miguel A. Alonso and
V{\'{\i}}ctor J. D{\'{\i}}az and
Manuel Vilares Ferro},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Tabulation of Bidirectional Push Down Automata},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {35--46},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_3},
doi = {10.1007/3-540-44977-9\_3},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/AlonsoDF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AnselmoGV02,
author = {Marcella Anselmo and
Dora Giammarresi and
Stefano Varricchio},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Finite Automata and Non-self-Embedding Grammars},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {47--56},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_4},
doi = {10.1007/3-540-44977-9\_4},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/AnselmoGV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Balik02,
author = {Miroslav Bal{\'{\i}}k},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {{DAWG} versus Suffix Array},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {233--238},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_23},
doi = {10.1007/3-540-44977-9\_23},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Balik02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BartzisB02,
author = {Constantinos Bartzis and
Tevfik Bultan},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Automata-Based Representations for Arithmetic Constraints in Automated
Verification},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {282--288},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_30},
doi = {10.1007/3-540-44977-9\_30},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BartzisB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Bruggemann-KleinW02,
author = {Anne Br{\"{u}}ggemann{-}Klein and
Derick Wood},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {On Predictive Parsing and Extended Context-Free Grammars},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {239--247},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_24},
doi = {10.1007/3-540-44977-9\_24},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Bruggemann-KleinW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrzozowskiG02,
author = {Janusz A. Brzozowski and
Mihaela Gheorghiu},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Simulation of Gate Circuits in the Algebra of Transients},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {57--66},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_5},
doi = {10.1007/3-540-44977-9\_5},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BrzozowskiG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CampeanuP02,
author = {Cezar C{\^{a}}mpeanu and
Andrei Paun},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {The Number of Similarity Relations and the Number of Minimal Deterministic
Finite Cover Automata},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {67--76},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_6},
doi = {10.1007/3-540-44977-9\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/CampeanuP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CampeanuSY02,
author = {Cezar C{\^{a}}mpeanu and
Kai Salomaa and
Sheng Yu},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Regex and Extended Regex},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {77--84},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_7},
doi = {10.1007/3-540-44977-9\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/CampeanuSY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CaronF02,
author = {Pascal Caron and
Marianne Flouret},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Star Normal Form, Rational Expressions, and Glushkov WFAs Properties},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {248--254},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_25},
doi = {10.1007/3-540-44977-9\_25},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/CaronF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CzyzowiczFPR02,
author = {Jurek Czyzowicz and
Wojciech Fraczak and
Andrzej Pelc and
Wojciech Rytter},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Prime Decompositions of Regular Prefix Codes},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {85--94},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_8},
doi = {10.1007/3-540-44977-9\_8},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/CzyzowiczFPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Daciuk02,
author = {Jan Daciuk},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic,
Finite-State Automata from Sets of Strings},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {255--261},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_26},
doi = {10.1007/3-540-44977-9\_26},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Daciuk02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Fatholahzadeh02,
author = {Abolfazl Fatholahzadeh},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Implementation of Dictionaries via Automata and Decision Trees},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {95--105},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_9},
doi = {10.1007/3-540-44977-9\_9},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Fatholahzadeh02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/FerroDA02,
author = {Manuel Vilares Ferro and
Victor M. Darriba and
Miguel A. Alonso},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Searching for Asymptotic Error Repair},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {276--281},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_29},
doi = {10.1007/3-540-44977-9\_29},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/FerroDA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GheorghiuB02,
author = {Mihaela Gheorghiu and
Janusz A. Brzozowski},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Feedback-Free Circuits in the Algebra of Transients},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {106--116},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_10},
doi = {10.1007/3-540-44977-9\_10},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/GheorghiuB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GranaAV02,
author = {Jorge Gra{\~{n}}a and
Gloria Andrade and
Jes{\'{u}}s Vilares},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Compilation of Constraint-Based Contextual Rules for Part-of-Speech
Tagging into Finite State Transducers},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {128--137},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_12},
doi = {10.1007/3-540-44977-9\_12},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/GranaAV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GuingneN02,
author = {Franck Guingne and
Florent Nicart},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Finite State Lazy Operations in {NLP}},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {138--147},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_13},
doi = {10.1007/3-540-44977-9\_13},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/GuingneN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Holub02,
author = {Jan Holub},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Dynamic Programming - {NFA} Simulation},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {295--300},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_32},
doi = {10.1007/3-540-44977-9\_32},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Holub02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HolubC02,
author = {Jan Holub and
Maxime Crochemore},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {On the Implementation of Compact DAWG's},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {289--294},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_31},
doi = {10.1007/3-540-44977-9\_31},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/HolubC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HolzerK02,
author = {Markus Holzer and
Martin Kutrib},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {State Complexity of Basic Operations on Nondeterministic Finite Automata},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {148--157},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_14},
doi = {10.1007/3-540-44977-9\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/HolzerK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Korner02,
author = {Heiko K{\"{o}}rner},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {On Minimizing Cover Automata for Finite Languages in O(n log n) Time},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {117--127},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_11},
doi = {10.1007/3-540-44977-9\_11},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Korner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/LargeteauG02,
author = {Ga{\"{e}}lle Largeteau and
Dominique Geniet},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Term Validation of Distributed Hard Real-Time Applications},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {262--269},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_27},
doi = {10.1007/3-540-44977-9\_27},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/LargeteauG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Melichar02,
author = {Borivoj Melichar},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Deterministic Parsing of Cyclic Strings},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {301--306},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_33},
doi = {10.1007/3-540-44977-9\_33},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Melichar02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Mohri02,
author = {Mehryar Mohri},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Edit-Distance of Weighted Automata},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {1--23},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_1},
doi = {10.1007/3-540-44977-9\_1},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Mohri02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/NetoB02,
author = {Jo{\~{a}}o Jos{\'{e}} Neto and
C{\'{e}}sar Bravo},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Adaptive Automata - {A} Revisited Proposal},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {158--168},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_15},
doi = {10.1007/3-540-44977-9\_15},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/NetoB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Okhotin02,
author = {Alexander Okhotin},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Efficient Automaton-Based Recognition for Linear Conjunctive Languages},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {169--181},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_16},
doi = {10.1007/3-540-44977-9\_16},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Okhotin02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Okhotin02a,
author = {Alexander Okhotin},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Whale Calf, a Parser Generator for Conjunctive Grammars},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {213--220},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_20},
doi = {10.1007/3-540-44977-9\_20},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Okhotin02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Polak02,
author = {Libor Pol{\'{a}}k},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Syntactic Semiring and Language Equations},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {182--193},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_17},
doi = {10.1007/3-540-44977-9\_17},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Polak02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Sutner02,
author = {Klaus Sutner},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Reduced Power Automata},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {194--202},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_18},
doi = {10.1007/3-540-44977-9\_18},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Sutner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Sutner02a,
author = {Klaus Sutner},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {automata, a Hybrid System for Computational Automata Theory},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {221--227},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_21},
doi = {10.1007/3-540-44977-9\_21},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Sutner02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Trahtman02,
author = {A. N. Trahtman},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {A Polynomial Time Algorithm for Left [Right] Local Testability},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {203--212},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_19},
doi = {10.1007/3-540-44977-9\_19},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Trahtman02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Trahtman02a,
author = {A. N. Trahtman},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {A Package {TESTAS} for Checking Some Kinds of Testability},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {228--232},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_22},
doi = {10.1007/3-540-44977-9\_22},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Trahtman02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Tronicek02,
author = {Zdenek Tron{\'{\i}}cek},
editor = {Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Common Subsequence Automaton},
booktitle = {Implementation and Application of Automata, 7th International Conference,
{CIAA} 2002, Tours, France, July 3-5, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2608},
pages = {270--275},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44977-9\_28},
doi = {10.1007/3-540-44977-9\_28},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Tronicek02.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-12 09:01 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:
