Mathematical foundations of computer science 1998. 23rd international symposium, MFCS '98. Brno, Czech Republic, August 24--28, 1998. Proceedings
type: Item
instance of: scholarly article
title: Mathematical foundations of computer science 1998. 23rd international symposium, MFCS '98. Brno, Czech Republic, August 24--28, 1998. Proceedings
zbMATH Open document ID: 0895.00049
published in: Lecture Notes in Computer Science
publication date: 1998-09-02T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The 21st symposium (1996) has been announced (see Zbl 0852.00041). Indexed articles: \textit{Ausiello, Giorgio; Italiano, Giuseppe F.; Nanni, Umberto}, Hypergraph traversal revisited: Cost measures and dynamic algorithms, 1-16 [Zbl 0916.05054] \textit{Harel, David}, Towards a theory of recursive structures, 36-53 [Zbl 0972.03037] \textit{Nielsen, Mogens}, Reasoning about the past, 117-128 [Zbl 0917.68075] \textit{Pudlák, Pavel}, Satisfiability -- algorithms and logic (extended abstract), 129-141 [Zbl 0911.03018] \textit{Stirling, Colin}, The joys of bisimulation, 142-151 [Zbl 0942.68075] \textit{Aldaz, Mikel; Heintz, Joos; Matera, Guillermo; Montaña, José L.; Pardo, Luis M.}, Combinatorial hardness proofs for polynomial evaluation (extended abstract), 167-175 [Zbl 0911.68084] \textit{Alekhnovich, Michael; Buss, Sam; Moran, Shlomo; Pitassi, Toniann}, Minimum propositional proof length is NP-hard to linearly approximate (extended abstract), 176-184 [Zbl 0911.03028] \textit{Kuzjurin, Nikolai N.}, Locally explicit construction of Rődl's asymptotically good packings, 194-202 [Zbl 0911.05027] \textit{Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut}, Proof theory of fuzzy logics: Urquhart's \(C\) and related logics, 203-212 [Zbl 0921.03028] \textit{Bonner, Richard; Freivalds, Rūsiņš; Lapiņš, Jānis; Lukjanska, Antra}, Nonstochastic languages as projections of 2-tape quasideterministic languages, 213-219 [Zbl 0917.68120] \textit{Rabinovich, Alexander}, Expressive completeness of temporal logic of action, 229-238 [Zbl 0912.03011] \textit{Touzet, Hélène}, Encoding the hydra battle as a rewrite system, 267-276 [Zbl 1113.68419] \textit{Hagenah, Christian; Muscholl, Anca}, Computing \(\varepsilon\)-free NFA from regular expressions in \(O(n\log^2(n))\) time, 277-285 [Zbl 0912.68113] \textit{Petersen, Holger}, The head hierarchy for oblivious finite automata with polynomial advice collapses…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1195904
zbMATH Keywords: Brno (Czech Republic)
zbMATH Keywords: Proceedings
zbMATH Keywords: Symposium
zbMATH Keywords: MFCS '98
zbMATH Keywords: Computer science
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1195904