Search dblp for Publications

export results for "toc:db/journals/jalc/jalc12.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics