BibTeX Data
List of Journal Abbreviations
@article{Das_j2005_a,
author = {J{\"u}rgen~Dassow and Markus~Holzer},
title = {Language families defined by a ciliate bio-operation: hierarchies
and decision problems},
journal = ijfcs,
volume = {16},
number = {4},
year = 2005,
pages = {645--662},
url = {http://dx.doi.org/10.1142/S0129054105003212}
}
@article{CsuDas_j2005,
author = {Erzs\'ebet~Csuhaj-Varj\'u and J{\"u}rgen~Dassow},
title = {A remark on evolutionary systems},
journal = dam,
volume = {146},
number = {1},
year = 2005,
pages = {111--115},
url = {http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6TYW-4DTKYWX-1-1&_cdi=5629&_user=1908389&_orig=search&_coverDate=02%2F15%2F2005&_sk=998539998&view=c&wchp=dGLbVlb-zSkWW&md5=e8b4bd3a7814e45812e35bdc609c8237&ie=/sdarticle.pdf}
}
@article{Das_j2005_b,
author = {J{\"u}rgen~Dassow},
title = {Contextual grammars with subregular choice},
journal = fundinform,
volume = {64},
number = {1--4},
year = 2005,
pages = {109--118},
url = {http://iospress.metapress.com/content/nmbrc0dtcx81xceu/fulltext.pdf}
} %http://fi.mimuw.edu.pl/abs64.html#10
@Article{Tru_j2005_c,
author = {Bianca~Truthe},
title = {On the Finiteness of Picture Languages of Synchronous Deterministic
Chain Code Picture Systems},
journal = actacybern,
year = {2005},
volume = {17},
pages = {53--73},
url = {http://www.inf.u-szeged.hu/actacybernetica/vol17n1/05_Truthe.xml}
}
@BOOK{Das_j2005,
author = {J{\"u}rgen~Dassow},
title = {{Logik f{\"u}r Informatiker}},
publisher = {B.\,G. Teubner},
year = 2005,
isbn = {3-519-00518-2},
url = {http://www.teubner.de/index.php;do=show/sid=d1f08f3b5f6161249943bd2e48e6de28/site=t/book_id=6727}
}
@incollection{Das_j2005_c,
author = {J{\"u}rgen~Dassow},
title = {{Completeness of automaton mappings with respect to
equivalence relations}},
editor = {Valery~B.~Kudryavtsev and Ivo~G.~Rosenberg},
booktitle = {{Structural Theory of Automata, Semigroups, and Universal Algebra}},
year = 2005,
publisher = springer,
pages = {77--108}
}
@InProceedings{Tru_j2005_a,
author = {Bianca~Truthe},
title = {A Method for Deciding the Finiteness of
Synchronous, Tabled Picture Languages},
booktitle = {Automata and Formal Languages -- 11th
International Conference AFL 2005,
Dobog\'ok\H{o}, Hungary, May 17--20, 2005,
Proceedings},
year = {2005},
editor = {Zolt\'an~Esik and Zolt\'an~F{\"u}l{\"o}p},
OPTmonth = {May},
OPTaddress = {Szeged, Hungary},
publisher = {Institute of Informatics, University of Szeged, Hungary},
volume = {},
pages = {292--305},
url = {http://theo.cs.uni-magdeburg.de/pubs/papers/truthe_stol_e.pdf}
}
@InProceedings{Tru_j2005_d,
author = {Bianca~Truthe},
title = {{{\"A}quivalenz von Bildsprachen synchroner
deterministischer Ketten-Code-Bild-Systeme}},
booktitle = {15. Theorietag Automaten und Formale Sprachen},
year = {2005},
OPTmonth = {September},
editor = {Henning~Fernau},
OPTaddress = {},
publisher = {Universit{\"a}t T{\"u}bingen},
volume = {WSI-2005-16},
series = {Preprint},
pages = {59--62},
url = {http://theo.cs.uni-magdeburg.de/pubs/papers/truthe_eq_sdol_k.pdf}
}
@PhdThesis{Tru_j2005_Diss,
author = {Bianca~Truthe},
title = {{Endlichkeit von Bildsprachen synchroner,
kontextfreier Ketten-Code-Bild-Systeme}},
school = {Otto-von-Guericke-Universit{\"a}t Magdeburg},
year = {2005},
type = {Dissertation},
OPTaddress = {Magdeburg},
OPTnote = {17. Juni 2005 (Gutachter: Prof.~Dr.~J{\"u}rgen~Dassow
(Univ. Magdeburg), Prof.~Dr.~Ludwig~Staiger
(Univ. Halle), Prof.~Dr.~Dietmar~W{\"a}tjen
(TU Braunschweig)) },
url = {http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-4223-7},
note = {Shaker-Verlag Aachen, ISBN: 978-3-8322-4223-7},
isbn = {978-3-8322-4223-7},
OPTannote = {}
}