Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jalc/jalc12.bht:"
@article{DBLP:journals/jalc/Biegler07, author = {Franziska Biegler}, title = {Synchronization Functions of Synchronized Context-Free Grammars and Languages}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {7--24}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-007}, doi = {10.25596/JALC-2007-007}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Biegler07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/BordihnF07, author = {Henning Bordihn and Henning Fernau}, title = {The Degree of Parallelism}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {25--47}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-025}, doi = {10.25596/JALC-2007-025}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/BordihnF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/BordihnS07, author = {Henning Bordihn and Bettina Sunckel}, title = {On Active Symbols in {CD} Grammar Systems}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {49--67}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-049}, doi = {10.25596/JALC-2007-049}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/BordihnS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/CampeanuSY07, author = {Cezar C{\^{a}}mpeanu and Nicolae Santean and Sheng Yu}, title = {A Family of NFAs Free of State Reductions}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {69--78}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-069}, doi = {10.25596/JALC-2007-069}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/CampeanuSY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/DomaratzkiOS07, author = {Michael Domaratzki and Alexander Okhotin and Jeffrey O. Shallit}, title = {Enumeration of Context-Free Languages and Related Structures}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {79--95}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-079}, doi = {10.25596/JALC-2007-079}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/DomaratzkiOS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/DrewesV07, author = {Frank Drewes and Heiko Vogler}, title = {Learning Deterministically Recognizable Tree Series}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {3}, pages = {332--354}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-333}, doi = {10.25596/JALC-2007-333}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/DrewesV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/DrosteV07, author = {Manfred Droste and Heiko Vogler}, title = {Editorial}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {4}, pages = {433}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-433}, doi = {10.25596/JALC-2007-433}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/DrosteV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Durak07, author = {Berke Durak}, title = {Two-Way Finite Automata with a Write-Once Track}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {97--115}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-097}, doi = {10.25596/JALC-2007-097}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Durak07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/EsikK07, author = {Zolt{\'{a}}n {\'{E}}sik and Werner Kuich}, title = {A Semiring-Semimodule Generalization of Transducers and Abstract omega-Families of Power Series}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {4}, pages = {435--454}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-435}, doi = {10.25596/JALC-2007-435}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/EsikK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/FernauFOR07, author = {Henning Fernau and Rudolf Freund and Marion Oswald and Klaus Reinhardt}, title = {Refining the Nonterminal Complexity of Graph-Controlled, Programmed, and Matrix Grammars}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {117--138}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-117}, doi = {10.25596/JALC-2007-117}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/FernauFOR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Geffert07, author = {Viliam Geffert}, title = {State Hierarchy for One-Way Finite Automata}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {139--145}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-139}, doi = {10.25596/JALC-2007-139}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Geffert07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/GramlichH07, author = {Gregor Gramlich and Ralf Herrmann}, title = {Learning Unary Automata}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {147--165}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-147}, doi = {10.25596/JALC-2007-147}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/GramlichH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Gutierrez-NaranjoPR07, author = {Miguel A. Guti{\'{e}}rrez{-}Naranjo and Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and Agustin Riscos{-}N{\'{u}}{\~{n}}ez}, title = {Multi-dimensional Descriptional Complexity of {P} Systems}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {167--179}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-167}, doi = {10.25596/JALC-2007-167}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Gutierrez-NaranjoPR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/HanTW07, author = {Yo{-}Sub Han and Gerhard Trippen and Derick Wood}, title = {Simple-Regular Expressions and Languages}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {181--194}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-181}, doi = {10.25596/JALC-2007-181}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/HanTW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/HolzerKR07, author = {Markus Holzer and Martin Kutrib and Jens Reimann}, title = {Non-Recursive Trade-Offs for Deterministic Restarting Automata}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {195--213}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-195}, doi = {10.25596/JALC-2007-195}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jalc/HolzerKR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/JancarMPV07, author = {Petr Jancar and Frantisek Mr{\'{a}}z and Martin Pl{\'{a}}tek and J{\"{o}}rg Vogel}, title = {Monotonicity of Restarting Automata}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {3}, pages = {355--371}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-355}, doi = {10.25596/JALC-2007-355}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/JancarMPV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Kapoutsis07, author = {Christos A. Kapoutsis}, title = {Deterministic Moles Cannot Solve Liveness}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {215--235}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-215}, doi = {10.25596/JALC-2007-215}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Kapoutsis07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Kresz07, author = {Mikl{\'{o}}s Kr{\'{e}}sz}, title = {Graph Decomposition and Descriptional Complexity of Soliton Automata}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {237--263}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-237}, doi = {10.25596/JALC-2007-237}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Kresz07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Lanotte07, author = {Ruggero Lanotte}, title = {Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {3}, pages = {373--405}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-373}, doi = {10.25596/JALC-2007-373}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Lanotte07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Malcher07, author = {Andreas Malcher}, title = {On Recursive and Non-recursive Trade-Offs between Finite-Turn Pushdown Automata}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {265--277}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-265}, doi = {10.25596/JALC-2007-265}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Malcher07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/PighizziniW07, author = {Giovanni Pighizzini and Detlef Wotschke}, title = {Editorial}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {5}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-005}, doi = {10.25596/JALC-2007-005}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/PighizziniW07.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/jalc/Rahonis07, author = {George Rahonis}, title = {Weighted Muller Tree Automata and Weighted Logics}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {4}, pages = {455--483}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-455}, doi = {10.25596/JALC-2007-455}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jalc/Rahonis07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Reidenbach07, author = {Daniel Reidenbach}, title = {An Examination of Ohlebusch and Ukkonen's Conjecture on the Equivalence Problem for E-Pattern Languages}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {3}, pages = {407--426}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-407}, doi = {10.25596/JALC-2007-407}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Reidenbach07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Schwarz07, author = {Sibylle Schwarz}, title = {Lukasiewicz Logic and Weighted Logics over MV-Semirings}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {4}, pages = {485--499}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-485}, doi = {10.25596/JALC-2007-485}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Schwarz07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Sunckel07, author = {Bettina Sunckel}, title = {On the Descriptional Complexity of {CD} Grammar Systems of Finite Index}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {289--306}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-289}, doi = {10.25596/JALC-2007-289}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Sunckel07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/TirnaucaT07, author = {Catalin Ionut Tirn\u{a}uc\u{a} and Cristina Tirn\u{a}uc\u{a}}, title = {Learning Regular Tree Languages from Correction and Equivalence Queries}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {4}, pages = {501--524}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-501}, doi = {10.25596/JALC-2007-501}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jalc/TirnaucaT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Tischler07, author = {German Tischler}, title = {On Computability and some Decision Problems of Parametric Weighted Finite Automata}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {4}, pages = {525--544}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-525}, doi = {10.25596/JALC-2007-525}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Tischler07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Vaszil07, author = {Gy{\"{o}}rgy Vaszil}, title = {Non-returning {PC} Grammar Systems Generate any Recursively Enumerable Language with Eight Context-Free Components}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {307--315}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-307}, doi = {10.25596/JALC-2007-307}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Vaszil07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Verlan07, author = {Sergey Verlan}, title = {On Minimal Context-Free Insertion-Deletion Systems}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {1-2}, pages = {317--328}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-317}, doi = {10.25596/JALC-2007-317}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Verlan07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/Waldmann07, author = {Johannes Waldmann}, title = {Weighted Automata for Proving Termination of String Rewriting}, journal = {J. Autom. Lang. Comb.}, volume = {12}, number = {4}, pages = {545--570}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-545}, doi = {10.25596/JALC-2007-545}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/Waldmann07.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.