Foundations of software technology and theoretical computer science. 18th conference, Chennai, India, December 17--19, 1998. Proceedings (Q1273578)

The articles of mathematical interest will be reviewed individually. The preceding conference (17th, 1997) has been announced (see Zbl 0879.00061). Indexed articles: \textit{Immerman, Neil}, Descriptive complexity and model checking, 1-5 [Zbl 0945.03546] \textit{Guttmann-Beck, Nili; Hassin, Refael; Khuller, Samir; Raghavachari, Balaji}, Approximation algorithms with bounded performance guarantees for the clustered traveling salesman problem, 6-17 [Zbl 0929.90086] \textit{Fotakis, Dimitris A.; Spirakis, Paul G.}, A Hamiltonian approach to the assignment of non-reusable frequencies, 18-29 [Zbl 0929.90069] \textit{Lavatelli, Carolina}, Deadlock sensitive types for lambda calculus with resources, 30-41 [Zbl 0930.03014] \textit{Quaglia, Paola; Walker, David}, On encoding \(p\pi\) in \(m\pi\), 42-53 [Zbl 0932.68050] \textit{Guha, Sudipto; Khuller, Samir}, Improved methods for approximating node weighted Steiner trees and connected dominating sets (extended abstract), 54-65 [Zbl 0932.68070] \textit{Talpin, Jean-Pierre; Nowak, David}, A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems, 78-89 [Zbl 0927.03057] \textit{Prasad, N. Kalyana Rama; Kumar, P. Sreenivasa}, On generating strong elimination orderings of strongly chordal graphs, 221-232 [Zbl 0926.68100] \textit{Gudmundsson, Joachim; Levcopoulos, Christos}, A parallel approximation algorithm for minimum weight triangulation, 233-244 [Zbl 0928.65029] \textit{Pandya, Paritosh K.; Ramakrishna, Y. S.}, Recursive mean-value calculus, 257-268 [Zbl 0928.03020] \textit{Lozano, Antoni; Raghavan, Vijay}, On the complexity of counting the number of vertices moved by graph automorphisms, 295-306 [Zbl 0936.68078] \textit{Lokam, Satyanarayana V.}, Remarks on graph complexity. (Extended abstract), 307-318 [Zbl 0933.94044] \textit{Jančar, Petr; Mráz, František; Plátek, Martin; Vogel, Jörg}, Different types of monotonicity for restarting automata, 343-354 [Zbl 1499.68182] \textit{Lodaya, Kamal; Weil, Pascal}, A Kleene iteration for parallelism, 355-366 [Zbl 0932.68060]