FST TCS 2003: Foundations of software technology and theoretical computer science. 23rd conference, Mumbai, India, December 15--17, 2003. Proceedings
type: Item
instance of: scholarly article
title: FST TCS 2003: Foundations of software technology and theoretical computer science. 23rd conference, Mumbai, India, December 15--17, 2003. Proceedings
zbMATH Open document ID: 1029.00064
published in: Lecture Notes in Computer Science
publication date: 2004-01-12T00:00:00Z
full work available at URL: t2914.htm
review text: The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1014.00021). Indexed articles: \textit{Backes, Michael; Pfitzmann, Birgit}, A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol., 1-12 [Zbl 1205.94073] \textit{Baltz, Andreas; Jäger, Gerold; Srivastav, Anand}, Constructions of sparse asymmetric connectors (extended abstract), 13-22 [Zbl 1205.68026] \textit{Biri, Nicolas; Galmiche, Didier}, A separation logic for resource distribution (extended abstract), 23-37 [Zbl 1205.03043] \textit{Black, Andrew P.; Cremet, Vincent; Guerraoui, Rachid; Odersky, Martin}, An equational theory for transactions., 38-49 [Zbl 1205.68120] \textit{Bloom, Stephen L.; Ésik, Zoltán}, Axioms for regular words (extended abstract), 50-61 [Zbl 1205.68192] \textit{Bojañczyk, Mikołaj}, 1-bounded TWA cannot be determinized., 62-73 [Zbl 1205.68193] \textit{Bouajjani, Ahmed; Touili, Tayssir}, Reachability analysis of process rewrite systems., 74-87 [Zbl 1205.68183] \textit{Bouquet, Alexis-Julien; Serre, Oliver; Walukiewicz, Igor}, Pushdown games with unboundedness and regular conditions., 88-99 [Zbl 1205.68194] \textit{Bruyère, Véronique; Raskin, Jean-François}, Real-time model-checking: parameters everywhere., 100-111 [Zbl 1205.68219] \textit{Carayol, Arnaud; Wöhrle, Stefan}, The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata., 112-123 [Zbl 1205.03022] \textit{Chevalier, Yannick; Küsters, Ralf; Rusinowitch, Michaël; Turuani, Mathieu}, Deciding the security of protocols with Diffie-Hellman exponentiation and products in exponents., 124-135 [Zbl 1205.94078] \textit{Coquery, Emmanuel; Fages, François}, Subtyping constraints in quasi-lattices., 136-148 [Zbl 1205.68121] \textit{Devanur, Nikhil R.; Vazirani, Vijay V.}, An improved approximation scheme for computing Arrow-Debreu prices for the linear case., 149-155 [Zbl 1205.91109] \textit{Diekert, Volker; Lohrey, Mar…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 2025865
zbMATH Keywords: FST TCS 2003
zbMATH Keywords: Foundations of software technology
zbMATH Keywords: Theoretical computer science
zbMATH Keywords: Mumbai (India)
MaRDI profile type: Publication
OpenAlex ID: W2246750081
DOI: 10.1007/B94618
description: scientific article; zbMATH DE number 2025865