Search dblp for Publications

export results for "toc:db/conf/icalp/icalp72.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icalp/AguzziPS72,
  author       = {Gianni Aguzzi and
                  Renzo Pinzani and
                  Renzo Sprugnoli},
  editor       = {Maurice Nivat},
  title        = {An Algorithmic Approach to the Semantics of Programming Languages},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {147--166},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 10:59:18 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/AguzziPS72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Baker72,
  author       = {Brenda S. Baker},
  editor       = {Maurice Nivat},
  title        = {Context-Sensitive Grammars Generating Context-Free Languages},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {501--506},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Baker72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/BakkerR72,
  author       = {J. W. de Bakker and
                  Willem P. de Roever},
  editor       = {Maurice Nivat},
  title        = {A Calculus for Recursive Program Schemes},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {167--196},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BakkerR72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Berstel72,
  author       = {Jean Berstel},
  editor       = {Maurice Nivat},
  title        = {Sur la densit{\'{e}} asymptotique de langages formels},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {345--358},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Berstel72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Bertoni72,
  author       = {Alberto Bertoni},
  editor       = {Maurice Nivat},
  title        = {Complexity Problems Related to the Approximation of Probabilistic
                  Languages and Events by Deterministic Machines},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {507--516},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Bertoni72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Boas72,
  author       = {Peter van Emde Boas},
  editor       = {Maurice Nivat},
  title        = {A Comparison of the Properties of Complexity Classes and Honesty Classes},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {391--396},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Boas72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Boasson72,
  author       = {Luc Boasson},
  editor       = {Maurice Nivat},
  title        = {Un crit{\`{e}}re de rationnalit{\'{e}} des langages alg{\'{e}}briques},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {359--365},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Boasson72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Bohm72,
  author       = {Corrado B{\"{o}}hm and
                  Mariangiola Dezani{-}Ciancaglini},
  editor       = {Maurice Nivat},
  title        = {Can Syntax Be Ignored during Translation?},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {197--207},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Bohm72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Book72,
  author       = {Ronald V. Book},
  editor       = {Maurice Nivat},
  title        = {Complexity Classes of Formal Languages (Extended Abstract)},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {517--520},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Book72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Butzbach72,
  author       = {Philippe Butzbach},
  editor       = {Maurice Nivat},
  title        = {Une famille de congruences de Thue pour lesquelles le probl{\`{e}}me
                  de l'{\'{e}}quivalence est d{\'{e}}cidable. Application
                  {\'{a}} l'{\'{e}}quivalence des grammaires s{\'{e}}par{\'{e}}es},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {3--12},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Butzbach72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Choffrut72,
  author       = {Christian Choffrut},
  editor       = {Maurice Nivat},
  title        = {Transducteurs conservant l'imprimitivit{\'{e}} du langage d'entr{\'{e}}e},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {13--29},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Choffrut72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Claus72,
  author       = {Volker Claus},
  editor       = {Maurice Nivat},
  title        = {Assignment-Programs},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {209--214},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Claus72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Cori72,
  author       = {Robert Cori},
  editor       = {Maurice Nivat},
  title        = {Sur des langages v{\'{e}}rifiant des {\'{e}}quations avec
                  op{\'{e}}rateur},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {31--43},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Cori72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Crestin72,
  author       = {J. P. Crestin},
  editor       = {Maurice Nivat},
  title        = {Un langage non ambigu dont le carr{\'{e}} est d'ambiguit{\'{e}}
                  non born{\'{e}}e},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {377--390},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Crestin72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Dubinsky72,
  author       = {Alex Dubinsky},
  editor       = {Maurice Nivat},
  title        = {The Functions Computed by a Monadic Program Schema with One Location},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {521--535},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Dubinsky72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Engelfriet72,
  author       = {Joost Engelfriet},
  editor       = {Maurice Nivat},
  title        = {Translation of Simple Program Schemes},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {215--223},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Engelfriet72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/FlajoletS72,
  author       = {Philippe Flajolet and
                  Jean{-}Marc Steyaert},
  editor       = {Maurice Nivat},
  title        = {Complexit{\'{e}} des probl{\`{e}}mes de d{\'{e}}cision relatifs
                  aux algorithmes de tri},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {537--548},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/FlajoletS72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Fliess72,
  author       = {Michel Fliess},
  editor       = {Maurice Nivat},
  title        = {Automates stochastiques et s{\'{e}}ries rationnelles non commutatives},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {397--411},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Fliess72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/HarrisonH72,
  author       = {Michael A. Harrison and
                  Ivan M. Havel},
  editor       = {Maurice Nivat},
  title        = {On a Family of Deterministic Grammars (Extended Abstract)},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {413--441},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HarrisonH72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/HenkeIW72,
  author       = {Friedrich W. von Henke and
                  Klaus Indermark and
                  Klaus Weihrauch},
  editor       = {Maurice Nivat},
  title        = {Hierarchies of Primitive Recursive Wordfunctions and Transductions
                  Defined by Automata},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {549--561},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HenkeIW72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/HitchcockP72,
  author       = {Peter Hitchcock and
                  David Michael Ritchie Park},
  editor       = {Maurice Nivat},
  title        = {Induction Rules and Termination Proofs},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {225--251},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HitchcockP72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/HoschL72,
  author       = {Frederick A. Hosch and
                  Lawrence H. Landweber},
  editor       = {Maurice Nivat},
  title        = {Finite Delay Solutions for Sequential Conditions},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {45--60},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HoschL72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/HsiaY72,
  author       = {Pei Hsia and
                  Raymond T. Yeh},
  editor       = {Maurice Nivat},
  title        = {Finite Automata with Markers},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {443--451},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HsiaY72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/JoshiLT72,
  author       = {Aravind K. Joshi and
                  Leon S. Levy and
                  Masako Takahashi},
  editor       = {Maurice Nivat},
  title        = {A Tree Generating System},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {453--465},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/JoshiLT72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Kalman72,
  author       = {Rudolf E. K{\'{a}}lm{\'{a}}n},
  editor       = {Maurice Nivat},
  title        = {Realization Theory of Linear Systems over a Commutative Ring},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {61--65},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kalman72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Kemp72,
  author       = {Rainer Kemp},
  editor       = {Maurice Nivat},
  title        = {An Estimation of the Set of States of the Minimal LR(0)-Acceptor},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {563--574},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kemp72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Kfoury72,
  author       = {Denis J. Kfoury},
  editor       = {Maurice Nivat},
  title        = {Comparing Algebraic Structures up to Algorithmic Equivalence},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {253--263},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kfoury72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Kott72,
  author       = {Jean Kott},
  editor       = {Maurice Nivat},
  title        = {Remarques sur la structure des sch{\'{e}}mas de programmes},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {265--271},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kott72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Kuroda72,
  author       = {S.{-}Y. Kuroda},
  editor       = {Maurice Nivat},
  title        = {On Structural Similarity of Phrase-Structure Languages},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {467--474},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kuroda72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Lentin72,
  author       = {Andr{\'{e}} Lentin},
  editor       = {Maurice Nivat},
  title        = {Equations in Free Monoids},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {67--85},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Lentin72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Linna72,
  author       = {Matti Linna},
  editor       = {Maurice Nivat},
  title        = {Finite Power Property of Regular Languages},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {87--98},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Linna72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/MannaV72,
  author       = {Zohar Manna and
                  Jean Vuillemin},
  editor       = {Maurice Nivat},
  title        = {Fixpoint Approach to the Theory of Computation},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {273--291},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/MannaV72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Monien72,
  author       = {Burkhard Monien},
  editor       = {Maurice Nivat},
  title        = {Relationship between Pushdown Automata and Tape-Bounded Turing Machines},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {575--583},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Monien72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Nivat72,
  author       = {Maurice Nivat},
  editor       = {Maurice Nivat},
  title        = {Langages alg{\'{e}}briques sur le magma libre et s{\'{e}}mantique
                  des sch{\'{e}}mas de programme},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {293--308},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Nivat72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Nolin72,
  author       = {Louis Nolin},
  editor       = {Maurice Nivat},
  title        = {Syst{\`{e}}mes algorithmiques, syst{\`{e}}mes fonctionnels},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {309--318},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Nolin72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/PazR72,
  author       = {Azaria Paz and
                  Michael Rabinovich},
  editor       = {Maurice Nivat},
  title        = {Linear Automata - Approximation Problem (Extended Abstract)},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {99--102},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/PazR72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Reghizzi72,
  author       = {Stefano Crespi{-}Reghizzi},
  editor       = {Maurice Nivat},
  title        = {Approximation of Phrase Markers by Regular Sets},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {367--376},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Reghizzi72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Ruggiu72,
  author       = {Gilles Ruggiu},
  editor       = {Maurice Nivat},
  title        = {Les types et les appels de proc{\'{e}}dures},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {319--330},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Ruggiu72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Schnorr72,
  author       = {Claus{-}Peter Schnorr},
  editor       = {Maurice Nivat},
  title        = {Does the Computational Speed-up Concern Programming?},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {585--591},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Schnorr72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Schutzenberger72,
  author       = {Marcel Paul Sch{\"{u}}tzenberger},
  editor       = {Maurice Nivat},
  title        = {A propos du relation rationelles fonctionnelles},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {103--114},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Schutzenberger72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Takahashi72,
  author       = {Masako Takahashi},
  editor       = {Maurice Nivat},
  title        = {Primitive Tranformations of Regular Sets and Recognizable Sets},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {475--480},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Takahashi72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Thierrin72,
  author       = {Gabriel Thierrin},
  editor       = {Maurice Nivat},
  title        = {Convex Languages},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {481--492},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Thierrin72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Turner72,
  author       = {R. Turner},
  editor       = {Maurice Nivat},
  title        = {An Infinite Hierarchy of Term Languages - An Approach to Mathematical
                  Complexity},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {593--608},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Turner72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Vidal-Naquet72,
  author       = {Guy Vidal{-}Naquet},
  editor       = {Maurice Nivat},
  title        = {Quelques applications des automates {\`{a}} arbres infinis},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {115--122},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Vidal-Naquet72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Viennot72,
  author       = {G{\'{e}}rard Viennot},
  editor       = {Maurice Nivat},
  title        = {Automates et bascules},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {123--133},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Viennot72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Vilfan72,
  author       = {Bostjan Vilfan},
  editor       = {Maurice Nivat},
  title        = {A Generalization of a Theorem of Specker and Some Applications},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {609--622},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Vilfan72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Wand72,
  author       = {Mitchell Wand},
  editor       = {Maurice Nivat},
  title        = {A Concrete Approach to Abstract Recursion Definitions},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {331--341},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Wand72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/WeissMS72,
  author       = {Stephen F. Weiss and
                  Gyula Mag{\'{o}} and
                  Donald F. Stanat},
  editor       = {Maurice Nivat},
  title        = {Algebraic Parsing Techniques for Context-Free Languages},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {493--498},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/WeissMS72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Zalcstein72,
  author       = {Yechezkel Zalcstein},
  editor       = {Maurice Nivat},
  title        = {Syntactic Semigroups of Some Classes of Star-Free Languages},
  booktitle    = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  pages        = {135--144},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Zalcstein72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icalp/1972,
  editor       = {Maurice Nivat},
  title        = {Automata, Languages and Programming, Colloquium, Paris, France, July
                  3-7, 1972},
  publisher    = {North-Holland, Amsterdam},
  year         = {1972},
  isbn         = {0-7204-2074-1},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/1972.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.