default search action
Search dblp for Publications
export results for "toc:db/conf/icalp/icalp72.bht:"
@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} }
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.