Automata, languages and programming. 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9--15, 2000. Proceedings
type: Item
instance of: scholarly article
title: Automata, languages and programming. 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9--15, 2000. Proceedings
zbMATH Open document ID: 0941.00034
DOI: 10.1007/3-540-45022-X
published in: Lecture Notes in Computer Science
publication date: 2000-07-26T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The preceding colloquium (26th, 1999) has been indicated (see Zbl 0917.00014). Indexed articles: \textit{Engebretsen, Lars; Holmerin, Jonas}, Clique is hard to approximate within \(n^{1-o(1)}\), 2-12 [Zbl 0973.68079] \textit{Krivelevich, Michael; Vu, Van H.}, Approximating the independence number and the chromatic number in expected polynomial time, 13-24 [Zbl 0973.68183] \textit{Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid}, Closed types as a simple approach to save imperative multi-stage programming, 25-36 [Zbl 0973.68037] \textit{Mycroft, Alan; Sharp, Richard}, A statistically allocated parallel functional language, 37-48 [Zbl 0973.68586] \textit{Pettie, Seth; Ramachandran, Vijaya}, An optimal minimum spanning tree algorithm, 49-60 [Zbl 0973.68534] \textit{Hagerup, Torben}, Improved shortest paths on the word RAM, 61-72 [Zbl 0973.68535] \textit{Alstrup, Stephen; Holm, Jacob}, Improved algorithms for finding level ancestors in dynamic trees, 73-84 [Zbl 0973.68665] \textit{Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert}, Lax logical relations, 85-102 [Zbl 0973.03016] \textit{Ghica, Dan R.; McCusker, Guy}, Reasoning about Idealized Algol using regular languages, 103-115 [Zbl 0973.68506] \textit{Martin, Keye}, The measurement process in domain theory, 116-126 [Zbl 0973.68131] \textit{Engels, Gregor; Heckel, Reiko}, Graph transformation as a conceptual and formal framework for system modeling and model evolution, 127-150 [Zbl 0973.68626] \textit{Atserias, Albert; Galesi, Nicola; Gavaldà, Ricard}, Monotone proofs of the pigeon hole principle, 151-162 [Zbl 0973.03074] \textit{Lüttgen, Gerald; Mendler, Michael}, Fully-abstract statecharts semantics via intuitionistic Kripke models, 163-174 [Zbl 0973.68130] \textit{Bruni, Roberto; Sassone, Vladimiro}, Algebraic models for contextual nets, 175-186 [Zbl 0973.68161] \textit{Bollig, Beate; Wegener, Ingo}, Asymptotically optimal bounds fo…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1481745
zbMATH Keywords: Geneva (Switzerland)
zbMATH Keywords: Proceedings
zbMATH Keywords: Colloquium
zbMATH Keywords: ICALP 2000
zbMATH Keywords: Automata
zbMATH Keywords: Languages
zbMATH Keywords: Programming
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1481745