Automata, languages and programming. 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings
type: Item
instance of: scholarly article
title: Automata, languages and programming. 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings
zbMATH Open document ID: 0851.00043
DOI: 10.1007/3-540-61440-0
published in: Lecture Notes in Computer Science
publication date: 1996-08-04T00:00:00Z
review text: The articles of this volume will be reviewed individually. The preceding conference (22, 1995) has been reviewed (see Zbl 0844.00016). Indexed articles: \textit{Ganzinger, Harald}, Saturation-based theorem proving (abstract), 1-3 [Zbl 1046.68641] \textit{Ranade, Abhiram}, Bandwidth efficient parallel computation, 4-23 [Zbl 1046.68534] \textit{Bruyère, Véronique; Latteux, Michel}, Variable-length maximal codes, 24-47 [Zbl 1046.94511] \textit{Razborov, Alexander}, Lower bounds for propositional proofs and independence results in bounded arithmetic, 48-62 [Zbl 1045.03524] \textit{Chen, Xiao Jun; De Nicola, Rocco}, Algebraic characterizations of decorated trace equivalences over tree-like structures (extended abstract), 63-74 [Zbl 1046.68617] \textit{Jenner, Lars; Vogler, Walter}, Fast asynchronous systems in dense time, 75-86 [Zbl 1046.68623] \textit{Lenzi, Giacomo}, A hierarchy theorem for the \(\mu\)-calculus, 87-97 [Zbl 1045.03516] \textit{Bradfield, Julian; Esparza, Javier; Mader, Angelika}, An effective tableau system for the linear time \(\mu\)-calculus, 98-109 [Zbl 1045.03514] \textit{Joung, Yuh-Jzer}, Characterizing fairness implementability for multiparty interaction, 110-121 [Zbl 1046.68624] \textit{Lucas, Salvador}, Termination of context sensitive rewriting by rewriting, 122-133 [Zbl 1046.68565] \textit{Cheng, Allan; Kozen, Dexter}, A complete Gentzen-style axiomatization for set constraints, 134-145 [Zbl 1045.03515] \textit{Billaud, Michel}, Fatal errors in conditional expressions (extended abstract), 146-157 [Zbl 1045.03513] \textit{Mossakowski, Till}, Different types of arrow between logical frameworks, 158-169 [Zbl 1046.68509] \textit{Mitchell, John; Viswanathan, Ramesh}, Effective models of polymorphism, subtyping and recursion (extended abstract), 170-181 [Zbl 1045.03517] \textit{Bosscher, D. J. B.; Griffioen, W. O. D.}, Regularity for a large class of context-free processes is decidable, 182-193 [Zbl 1046.68614] \textit{Caucal, Didier}, On infinite t…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 912816
zbMATH Keywords: Automata
zbMATH Keywords: Languages
zbMATH Keywords: Programming
zbMATH Keywords: Paderborn (Germany)
zbMATH Keywords: Colloquium
zbMATH Keywords: Proceedings
zbMATH Keywords: ICALP '96
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 912816