FST TCS 2000: Foundations of software technology and theoretical computer science. 20th conference, New Delhi, India, December 13--15, 2000. Proceedings
type: Item
instance of: scholarly article
title: FST TCS 2000: Foundations of software technology and theoretical computer science. 20th conference, New Delhi, India, December 13--15, 2000. Proceedings
zbMATH Open document ID: 0952.00044
DOI: 10.1007/3-540-44450-5
published in: Lecture Notes in Computer Science
publication date: 2000-12-13T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The preceding conference (19th, 1999) has been reviewed (see Zbl 0931.00044). Indexed articles: \textit{Emerson, E. Allen}, Model checking: Theory into practice, 1-10 [Zbl 1044.68673] \textit{Fernandez, Mary; Simeon, Jerome; Wadler, Philip}, An algebra for XML query, 11-45 [Zbl 1044.68577] \textit{Chazelle, Bernard}, Irregularities of distribution, derandomization, and complexity theory, 46-54 [Zbl 1044.68051] \textit{Basin, David; Clavel, Manuel; Meseguer, José}, Rewriting logic as a metalogical framework, 55-80 [Zbl 1044.03020] \textit{Grötschel, Martin}, Frequency assignment in mobile phone systems, 81-86 [Zbl 1044.90500] \textit{Buneman, Peter; Khanna, Sanjeev; Tan, Wang-Chiew}, Data provenance: Some basic issues, 87-93 [Zbl 1044.68573] \textit{Patkar, Sachin B.; Narayanan, H.}, Fast on-line/off-line algorithms for optimal reinforcement of a network and its connections with principal partition, 94-105 [Zbl 1044.68708] \textit{Favrholdt, Lene Monrad; Nielsen, Morten Nyhave}, On-line edge-coloring with a fixed number of colors, 106-116 [Zbl 1044.68696] \textit{Fujito, Toshihiro}, On approximability of the independent/connected edge dominating set problems, 117-126 [Zbl 1044.68698] \textit{Walukiewicz, Igor}, Model checking CTL properties of pushdown systems, 127-138 [Zbl 1044.68111] \textit{La Torre, Salvatore; Napoli, Margherita}, A decidable dense branching-time temporal logic, 139-150 [Zbl 1044.03012] \textit{Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.}, Fair equivalence relations, 151-163 [Zbl 1044.68110] \textit{McKenzie, Pierre; Vollmer, Heribert; Wagner, Klaus W.}, Arithmetic circuits and polynomial replacement systems, 164-175 [Zbl 1044.68061] \textit{Radhakrishnan, Jaikumar; Sen, Pranab; Vishwanathan, Sundar}, Depth-3 arithmetic circuits for \(S_n^2(X)\) and extensions of the Graham-Pollack theorem, 176-187 [Zbl 1044.68072] \textit{Ly, Olivier}, The bounded weak monadic quantifier al…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1542815
zbMATH Keywords: New Delhi (India)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: FST TCS 2000
zbMATH Keywords: Software technology
zbMATH Keywords: Computer science
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-44450-5
OpenAlex ID: W2498938315
description: scientific article; zbMATH DE number 1542815