Automata, languages and programming. 26th international colloquium, ICALP `99. Prague, Czech Republic, July 11--15, 1999. Proceedings
type: Item
instance of: scholarly article
title: Automata, languages and programming. 26th international colloquium, ICALP `99. Prague, Czech Republic, July 11--15, 1999. Proceedings
zbMATH Open document ID: 0917.00014
DOI: 10.1007/3-540-48523-6
published in: Lecture Notes in Computer Science
publication date: 1999-07-07T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The preceding colloquium (25th, 1998) has been announced (see Zbl 0893.00039). Indexed articles: \textit{Ajtai, Miklós}, Generating hard instances of the short basis problem, 01-09 [Zbl 0987.94021] \textit{Compton, Kevin J.; Dexter, Scott}, Proof techniques for cryptographic protocols, 25-39 [Zbl 0987.94508] \textit{Cucker, Felipe}, Real computations with fake numbers, 55-73 [Zbl 0944.03030] \textit{Edalat, Abbas; Krznarić, Marko}, Numerical integration with exact real arithmetic, 90-104 [Zbl 0937.65025] \textit{Rozenberg, Grzegorz; Salomaa, Arto}, DNA computing: New ideas and paradigms, 106-118 [Zbl 0939.68040] \textit{Allender, Eric; Ambainis, Andris; Mix Barrington, David A.; Datta, Samir; Huong Lê Thanh}, Bounded depth arithmetic circuits: Counting and closure, 149-158 [Zbl 1020.94543] \textit{Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron}, Parametric temporal logic for ``model measuring'', 159-168 [Zbl 0939.03021] \textit{Andreev, Alexander E.; Baskakov, Juri L.; Clementi, Andrea E. F.; Rolim, José D. P.}, Small pseudo-random sets yield hard functions: New tight explicit lower bounds for branching programs, 179-189 [Zbl 0941.68567] \textit{Bednarczyk, Marek A.; Borzyszkowski, Andrzej M.}, General morphisms of Petri nets. (Extended abstract), 190-199 [Zbl 0941.68645] \textit{Bouyer, Patricia; Petit, Antoine}, Decomposition and composition of timed automata, 210-219 [Zbl 0946.68094] \textit{Buhrman, Harry; Jiang, Tao; Li, Ming; Vitányi, Paul}, New applications of the incompressibility method. (Extended abstract), 220-229 [Zbl 0939.68055] \textit{Clote, Peter}, Protein folding, the Levinthal paradox and rapidly mixing Markov chains., 240-249 [Zbl 1037.92016] \textit{Cortier, Veronique; Ganzinger, Harald; Jacquemard, Florent; Veanes, Margus}, Decidable fragments of simultaneous rigid reachability, 250-260 [Zbl 0943.68096] \textit{De Santis, A.; Di Crescenzo, G.; Persiano, G.}, …
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1313893
zbMATH Keywords: Prague (Czech Republic)
zbMATH Keywords: Proceedings
zbMATH Keywords: Colloquium
zbMATH Keywords: ICALP `99
zbMATH Keywords: Automata
zbMATH Keywords: Languages
zbMATH Keywords: Programming
Wikidata QID: Q56335601
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-48523-6
OpenAlex ID: W2741645723
description: scientific article; zbMATH DE number 1313893