Search dblp for Publications

export results for "toc:db/conf/automata/automata1973.bht:"

 download as .bib file

@inproceedings{DBLP:conf/automata/Autebert73,
  author       = {Jean{-}Michel Autebert},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Quelques g{\'{e}}n{\'{e}}rateurs des langages alg{\'{e}}briques},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {124--131},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039146},
  doi          = {10.1007/BFB0039146},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Autebert73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Beauquier73,
  author       = {Joffroy Beauquier},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Une caract{\'{e}}risation des langages quasi-rationnels standards},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {132--138},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039147},
  doi          = {10.1007/BFB0039147},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Beauquier73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Bertsch73,
  author       = {Eberhard Bertsch},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Some considerations about classes of mappings between contextfree
                  derivation systems},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {278--283},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039165},
  doi          = {10.1007/BFB0039165},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Bertsch73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Biskup73,
  author       = {Joachim Biskup},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Zuf{\"{a}}llige Folgen und Bi-immunit{\"{a}}t},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {202--207},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039155},
  doi          = {10.1007/BFB0039155},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Biskup73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Brandenburg73,
  author       = {Franz{-}Josef Brandenburg},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Der Einflu{\ss} von Kontext auf spezielle CF-Grammatiken},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {139--148},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039148},
  doi          = {10.1007/BFB0039148},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Brandenburg73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Cin73,
  author       = {Mario Dal Cin},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Fault-tolerance and stability of fuzzy-state automata},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {36--44},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039136},
  doi          = {10.1007/BFB0039136},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Cin73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Claus73,
  author       = {Volker Claus},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Die mittlere Additionsdauer eines Paralleladdierwerks},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {208--209},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039156},
  doi          = {10.1007/BFB0039156},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Claus73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Coffy73,
  author       = {Jo{\"{e}}l Coffy},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {On the number of multiplications required by the product of two matrices},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {210--219},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039157},
  doi          = {10.1007/BFB0039157},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Coffy73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Cohors-Fresenborg73,
  author       = {Elmar Cohors{-}Fresenborg},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Elementare und subelementare Funktionenklassen {\"{u}}ber bin{\"{a}}ren
                  B{\"{a}}umen},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {220--229},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039158},
  doi          = {10.1007/BFB0039158},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Cohors-Fresenborg73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/CremersMW73,
  author       = {Armin B. Cremers and
                  Otto Mayer and
                  K. Weiss},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Zur Komplexit{\"{a}}t gesteuerter kontextfreier Ersetzungen},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {149--155},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039149},
  doi          = {10.1007/BFB0039149},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/CremersMW73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Eichner73,
  author       = {Lutz Eichner},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Bemerkungen {\"{u}}ber Homomorphismen endlicher in lineare Automaten},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {45--53},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039137},
  doi          = {10.1007/BFB0039137},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Eichner73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Engeler73,
  author       = {Erwin Engeler},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {On the structure of algorithmic problems},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {2--15},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039133},
  doi          = {10.1007/BFB0039133},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Engeler73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Hotzel73,
  author       = {Eckehart Hotzel},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Der Kaskadenzerlegungssatz f{\"{u}}r Halbautomaten},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {54--63},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039138},
  doi          = {10.1007/BFB0039138},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Hotzel73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Hummel73,
  author       = {H. Hummel},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner
                  stochastischer Systeme},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {64--73},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039139},
  doi          = {10.1007/BFB0039139},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Hummel73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Indermark73,
  author       = {Klaus Indermark},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {On lanov schemas with one memory location},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {284--293},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039166},
  doi          = {10.1007/BFB0039166},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Indermark73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Kaufholz73,
  author       = {Gerd Kaufholz},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {{\"{U}}ber die Vernetzungsstruktur von Maschinen},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {230--238},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039159},
  doi          = {10.1007/BFB0039159},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Kaufholz73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Kudlek73,
  author       = {Manfred Kudlek},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Characterization of derivation sets of formal systems},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {156--165},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039150},
  doi          = {10.1007/BFB0039150},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Kudlek73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Maluszynski73,
  author       = {Jan Maluszynski},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Reduction goals in bottom-up recognition},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {294--300},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039167},
  doi          = {10.1007/BFB0039167},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Maluszynski73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Mayer73,
  author       = {Otto Mayer},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Die Darstellung indizierter Sprachen durch Ausdr{\"{u}}cke},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {166--174},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039151},
  doi          = {10.1007/BFB0039151},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Mayer73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Monien73,
  author       = {Burkhard Monien},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {On the simulation of time bounded machines},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {239--248},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039160},
  doi          = {10.1007/BFB0039160},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Monien73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Ottmann73,
  author       = {Thomas Ottmann},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Ketten und arithmetische Pr{\"{a}}dikate von endlichen Automaten},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {74--80},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039140},
  doi          = {10.1007/BFB0039140},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Ottmann73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Paul73,
  author       = {Wolfgang J. Paul},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {{\"{U}}ber die Zeit, die ben{\"{o}}tigt wird, um endliche
                  Mengen umzuordnen},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {249--253},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039161},
  doi          = {10.1007/BFB0039161},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Paul73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Pawlak73,
  author       = {Zdzislaw Pawlak},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {A mathematical model of digital computers},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {16--22},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039134},
  doi          = {10.1007/BFB0039134},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Pawlak73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Penner73,
  author       = {Volker Penner},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {{\"{U}}ber eine Hierarchie von Push-Down-entscheidbaren Mengen},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {254--262},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039162},
  doi          = {10.1007/BFB0039162},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Penner73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Restivo73,
  author       = {Antonio Restivo},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Codes and aperiodic languages},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {175--181},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039152},
  doi          = {10.1007/BFB0039152},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Restivo73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Robinet73,
  author       = {Bernard J. Robinet},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Un mod{\`{e}}le s{\'{e}}mantique pour un langage simple de programmation},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {301--310},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039168},
  doi          = {10.1007/BFB0039168},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/automata/Robinet73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Rodriguez73,
  author       = {F. Rodriguez},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Une hierarchie infinie de cones d'accepteurs v{\'{e}}rificateurs},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {81--87},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039141},
  doi          = {10.1007/BFB0039141},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Rodriguez73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/RoseW73,
  author       = {G. Rose and
                  Klaus Weihrauch},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {A characterization of the classes {L1} and {R1} of primitive recursive
                  wordfunctions},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {263--266},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039163},
  doi          = {10.1007/BFB0039163},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/RoseW73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Salomaa73,
  author       = {Arto Salomaa},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {On some recent problems concerning developmental languages},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {23--34},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039135},
  doi          = {10.1007/BFB0039135},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Salomaa73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Schutt73,
  author       = {Dieter Sch{\"{u}}tt},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {88--97},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039142},
  doi          = {10.1007/BFB0039142},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Schutt73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Solms73,
  author       = {Sebastiaan H. von Solms},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {The characterization of certain classes of languages in the context
                  sensitive area by automata},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {182--190},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039153},
  doi          = {10.1007/BFB0039153},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Solms73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Stork73,
  author       = {Hans{-}Georg Stork},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Ein automatentheoretisches Modell einer Speicherhierarchie},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {98--103},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039143},
  doi          = {10.1007/BFB0039143},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Stork73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/ValiantP73,
  author       = {Leslie G. Valiant and
                  Mike Paterson},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Deterministic one-counter automata},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {104--115},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039144},
  doi          = {10.1007/BFB0039144},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/ValiantP73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Valk73,
  author       = {R{\"{u}}diger Valk},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {The use of metric and uniform spaces for the formalization of behavioral
                  proximity of states},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {116--122},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039145},
  doi          = {10.1007/BFB0039145},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Valk73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Verbeek73,
  author       = {Rutger Verbeek},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Erweiterungen subrekursiver Programmiersprachen},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {311--318},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039169},
  doi          = {10.1007/BFB0039169},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Verbeek73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/WongLA73,
  author       = {C. K. Wong and
                  C. L. Liu and
                  J. Apter},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {A drum scheduling algorithm},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {267--275},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039164},
  doi          = {10.1007/BFB0039164},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/WongLA73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Wotschke73,
  author       = {Detlef Wotschke},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {A characterization of boolean closures of families of languages},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {191--200},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039154},
  doi          = {10.1007/BFB0039154},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Wotschke73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/automata/1973,
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039132},
  doi          = {10.1007/BFB0039132},
  isbn         = {3-540-06527-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/1973.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics