Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Libor Polák
@article{DBLP:journals/jalc/0001P20,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Forbidden Patterns for Ordered Automata},
journal = {J. Autom. Lang. Comb.},
volume = {25},
number = {2-3},
pages = {141--169},
year = {2020},
url = {https://doi.org/10.25596/jalc-2020-141},
doi = {10.25596/JALC-2020-141},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/0001P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KlimaP19,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Syntactic structures of regular languages},
journal = {Theor. Comput. Sci.},
volume = {800},
pages = {125--141},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.10.020},
doi = {10.1016/J.TCS.2019.10.020},
timestamp = {Wed, 20 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KlimaP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/0001P19,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Alexander Okhotin and
Dana Shapira},
title = {On Varieties of Ordered Automata},
booktitle = {Language and Automata Theory and Applications - 13th International
Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11417},
pages = {108--120},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13435-8\_8},
doi = {10.1007/978-3-030-13435-8\_8},
timestamp = {Tue, 03 Mar 2020 11:22:06 +0100},
biburl = {https://dblp.org/rec/conf/lata/0001P19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/0001P18,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Rudolf Freund and
Michal Hospod{\'{a}}r and
Galina Jir{\'{a}}skov{\'{a}} and
Giovanni Pighizzini},
title = {Forbidden patterns for ordered automata},
booktitle = {Tenth Workshop on Non-Classical Models of Automata and Applications,
{NCMA} 2018, Ko{\v{s}}ice, Slovakia, August 21-22, 2018},
pages = {99--115},
publisher = {{\"{O}}sterreichische Computer Gesellschaft},
year = {2018},
timestamp = {Wed, 29 Aug 2018 15:26:26 +0200},
biburl = {https://dblp.org/rec/conf/ncma/0001P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-08455,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {On Varieties of Ordered Automata},
journal = {CoRR},
volume = {abs/1712.08455},
year = {2017},
url = {http://arxiv.org/abs/1712.08455},
eprinttype = {arXiv},
eprint = {1712.08455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-08455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001P16c,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Syntactic Structures of Regular Languages},
journal = {CoRR},
volume = {abs/1612.06247},
year = {2016},
url = {http://arxiv.org/abs/1612.06247},
eprinttype = {arXiv},
eprint = {1612.06247},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001P16c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KlimaP13,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Marie{-}Pierre B{\'{e}}al and
Olivier Carton},
title = {Alternative Automata Characterization of Piecewise Testable Languages},
booktitle = {Developments in Language Theory - 17th International Conference, {DLT}
2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7907},
pages = {289--300},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38771-5\_26},
doi = {10.1007/978-3-642-38771-5\_26},
timestamp = {Sat, 19 Oct 2019 20:07:57 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KlimaP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KlimaP12,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {On biautomata},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {46},
number = {4},
pages = {573--592},
year = {2012},
url = {https://doi.org/10.1051/ita/2012014},
doi = {10.1051/ITA/2012014},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KlimaP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KlimaP12,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Hsu{-}Chun Yen and
Oscar H. Ibarra},
title = {Biautomata for k-Piecewise Testable Languages},
booktitle = {Developments in Language Theory - 16th International Conference, {DLT}
2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7410},
pages = {344--355},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31653-1\_31},
doi = {10.1007/978-3-642-31653-1\_31},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KlimaP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/KlimaP11,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Subhierarchies of the Second Level in the Straubing-TH{\'{e}}Rien
Hierarchy},
journal = {Int. J. Algebra Comput.},
volume = {21},
number = {7},
pages = {1195--1215},
year = {2011},
url = {https://doi.org/10.1142/S021819671100690X},
doi = {10.1142/S021819671100690X},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/KlimaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KlimaP11,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Werner Kuich and
George Rahonis},
title = {Identity Problems, Solvability of Equations and Unification in Varieties
of Semigroups Related to Varieties of Groups},
booktitle = {Algebraic Foundations in Computer Science - Essays Dedicated to Symeon
Bozapalidis on the Occasion of His Retirement},
series = {Lecture Notes in Computer Science},
volume = {7020},
pages = {214--227},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24897-9\_10},
doi = {10.1007/978-3-642-24897-9\_10},
timestamp = {Sun, 25 Oct 2020 23:08:31 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KlimaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/KlimaKP11,
author = {Ondrej Kl{\'{\i}}ma and
Miroslav Korbel{\'{a}}r and
Libor Pol{\'{a}}k},
editor = {Franz Winkler},
title = {Rewriting in Varieties of Idempotent Semigroups},
booktitle = {Algebraic Informatics - 4th International Conference, {CAI} 2011,
Linz, Austria, June 21-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6742},
pages = {185--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21493-6\_12},
doi = {10.1007/978-3-642-21493-6\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/KlimaKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/KlimaP11,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Rudolf Freund and
Markus Holzer and
Carlo Mereghetti and
Friedrich Otto and
Beatrice Palano},
title = {On Biautomata},
booktitle = {Third Workshop on Non-Classical Models for Automata and Applications
- {NCMA} 2011, Milan, Italy, July 18 - July 19, 2011. Proceedings},
series = {books@ocg.at},
volume = {282},
pages = {153--164},
publisher = {Austrian Computer Society},
year = {2011},
timestamp = {Thu, 22 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ncma/KlimaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KlimaP10,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Hierarchies of Piecewise Testable Languages},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {4},
pages = {517--533},
year = {2010},
url = {https://doi.org/10.1142/S0129054110007404},
doi = {10.1142/S0129054110007404},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KlimaP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KlimaP10a,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Literally Idempotent Languages and their Varieties - Two Letter Case},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {5},
pages = {761--780},
year = {2010},
url = {https://doi.org/10.1142/S0129054110007544},
doi = {10.1142/S0129054110007544},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KlimaP10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KlimaP10,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Yuan Gao and
Hanlin Lu and
Shinnosuke Seki and
Sheng Yu},
title = {On Sch{\"{u}}tzenberger Products of Semirings},
booktitle = {Developments in Language Theory, 14th International Conference, {DLT}
2010, London, ON, Canada, August 17-20, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6224},
pages = {279--290},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14455-4\_26},
doi = {10.1007/978-3-642-14455-4\_26},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/dlt/KlimaP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-1655,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Ian McQuillan and
Giovanni Pighizzini},
title = {Descriptional Complexity of the Languages KaL: Automata, Monoids and
Varieties},
booktitle = {Proceedings Twelfth Annual Workshop on Descriptional Complexity of
Formal Systems, {DCFS} 2010, Saskatoon, Canada, 8-10th August 2010},
series = {{EPTCS}},
volume = {31},
pages = {130--138},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.31.15},
doi = {10.4204/EPTCS.31.15},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-1655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/KlimaP09,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Symeon Bozapalidis and
George Rahonis},
title = {Polynomial Operators on Classes of Regular Languages},
booktitle = {Algebraic Informatics, Third International Conference, {CAI} 2009,
Thessaloniki, Greece, May 19-22, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5725},
pages = {260--277},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03564-7\_17},
doi = {10.1007/978-3-642-03564-7\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/KlimaP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {On Varieties of Literally Idempotent Languages},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {42},
number = {3},
pages = {583--598},
year = {2008},
url = {https://doi.org/10.1051/ita:2008020},
doi = {10.1051/ITA:2008020},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {On varieties of meet automata},
journal = {Theor. Comput. Sci.},
volume = {407},
number = {1-3},
pages = {278--289},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.005},
doi = {10.1016/J.TCS.2008.06.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afl/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Zolt{\'{a}}n {\'{E}}sik},
title = {Literally idempotent languages and their varieties - two letter case},
booktitle = {Automata and Formal Languages, 12th International Conference, {AFL}
2008, Balatonf{\"{u}}red, Hungary, May 27-30, 2008, Proceedings},
pages = {220--231},
year = {2008},
timestamp = {Thu, 22 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/afl/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Masami Ito and
Masafumi Toyama},
title = {Hierarchies of Piecewise Testable Languages},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {479--490},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_38},
doi = {10.1007/978-3-540-85780-8\_38},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Friedrich Otto and
Henning Fernau},
title = {Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent
Groups},
booktitle = {Language and Automata Theory and Applications, Second International
Conference, {LATA} 2008, Tarragona, Spain, March 13-19, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5196},
pages = {299--310},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88282-4\_28},
doi = {10.1007/978-3-540-88282-4\_28},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/Polak07,
author = {Libor Pol{\'{a}}k},
title = {Remarks on Multiple Entry Deterministic Finite Automata},
journal = {J. Autom. Lang. Comb.},
volume = {12},
number = {1-2},
pages = {279--288},
year = {2007},
url = {https://doi.org/10.25596/jalc-2007-279},
doi = {10.25596/JALC-2007-279},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/Polak07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Polak06,
author = {Libor Pol{\'{a}}k},
title = {Small Conjunctive Varieties of Regular Languages},
journal = {Acta Cybern.},
volume = {17},
number = {4},
pages = {825--841},
year = {2006},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3699},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Polak06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Polak05,
author = {Libor Pol{\'{a}}k},
title = {Minimalizations of {NFA} using the universal automaton},
journal = {Int. J. Found. Comput. Sci.},
volume = {16},
number = {5},
pages = {999--1010},
year = {2005},
url = {https://doi.org/10.1142/S0129054105003431},
doi = {10.1142/S0129054105003431},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Polak05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Polak05,
author = {Libor Pol{\'{a}}k},
editor = {Carlo Mereghetti and
Beatrice Palano and
Giovanni Pighizzini and
Detlef Wotschke},
title = {Remarks on Multiple Entry Deterministic Finite Automata},
booktitle = {7th International Workshop on Descriptional Complexity of Formal Systems
- {DCFS} 2005, Como, Italy, June 30 - July 2, 2005. Proceedings},
pages = {261--268},
publisher = {Universit{\`{a}} degli Studi di Milano, Milan, Italy},
year = {2005},
timestamp = {Fri, 21 Oct 2011 15:06:32 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/Polak05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Polak04,
author = {Libor Pol{\'{a}}k},
editor = {Lucian Ilie and
Detlef Wotschke},
title = {Minimalizations of {NFA} Using the Universal Automaton},
booktitle = {6th International Workshop on Descriptional Complexity of Formal Systems
- {DCFS} 2004, London, Ontario, Canada, July 26 - 28, 2004. Pre-proceedings},
volume = {Report No. 619},
pages = {238--249},
publisher = {Department of Computer Science, The University of Western Ontario,
Canada},
year = {2004},
timestamp = {Fri, 21 Oct 2011 15:16:32 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/Polak04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Polak04,
author = {Libor Pol{\'{a}}k},
editor = {Jir{\'{\i}} Fiala and
V{\'{a}}clav Koubek and
Jan Kratochv{\'{\i}}l},
title = {On Pseudovarieties of Semiring Homomorphisms},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International
Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3153},
pages = {635--647},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28629-5\_49},
doi = {10.1007/978-3-540-28629-5\_49},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Polak04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Polak04,
author = {Libor Pol{\'{a}}k},
editor = {Michael Domaratzki and
Alexander Okhotin and
Kai Salomaa and
Sheng Yu},
title = {Minimalizations of {NFA} Using the Universal Automaton},
booktitle = {Implementation and Application of Automata, 9th International Conference,
{CIAA} 2004, Kingston, Canada, July 22-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3317},
pages = {325--326},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30500-2\_37},
doi = {10.1007/978-3-540-30500-2\_37},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/wia/Polak04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Polak03,
author = {Libor Pol{\'{a}}k},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Zolt{\'{a}}n F{\"{u}}l{\"{o}}p},
title = {Syntactic Semiring and Universal Automaton},
booktitle = {Developments in Language Theory, 7th International Conference, {DLT}
2003, Szeged, Hungary, July 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2710},
pages = {411--422},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45007-6\_33},
doi = {10.1007/3-540-45007-6\_33},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Polak03.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 15:19:47 +0200},
biburl = {https://dblp.org/rec/conf/wia/Polak02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Polak01,
author = {Libor Pol{\'{a}}k},
editor = {Jir{\'{\i}} Sgall and
Ales Pultr and
Petr Kolman},
title = {Syntactic Semiring of a Language},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {611--620},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44683-4\_53},
doi = {10.1007/3-540-44683-4\_53},
timestamp = {Sat, 19 Oct 2019 20:31:50 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Polak01.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.
last updated on 2024-04-21 17:07 CEST 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:
