Foundations of computer science. Potential, theory, cognition (Q1373997)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Foundations of computer science. Potential, theory, cognition |
scientific article |
Statements
Foundations of computer science. Potential, theory, cognition (English)
0 references
27 November 1997
0 references
The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Bauer, F. L.}, The might of formulas and their limits, 1-8 [Zbl 1126.00304] \textit{Mateescu, Alexandru; Rozenberg, Grzegorz; Salomaa, Arto}, Syntactic and semantic aspects of parallelism, 79-105 [Zbl 0887.68057] \textit{Kupka, Ingbert}, Unique fixpoints in complete lattices with applications to formal languages and semantics, 107-115 [Zbl 0883.06004] \textit{Karner, Georg; Kuich, Werner}, On abstract families of languages, power series, and elements, 117-124 [Zbl 0887.68058] \textit{Lange, Klaus-Jörn}, Are there formal languages complete for \(\text{SymSPACE}(\log n)\)?, 125-134 [Zbl 0887.68059] \textit{Jantzen, Matthias}, On twist-colored trios: A new morphic characterization of r.e. sets, 135-142 [Zbl 0887.68060] \textit{Esparza, J.; Rossmanith, P.}, An automata approach to some problems on context-free grammars, 143-152 [Zbl 0895.68085] \textit{Culik, Karel; Kari, Jarkko}, On aperiodic sets of Wang tiles, 153-162 [Zbl 0883.05035] \textit{Jenner, Birgit}, Closure under complementation of logspace complexity classes. A survey, 163-175 [Zbl 0887.68037] \textit{Kirsig, Bernd}, A relation between sparse and printable sets in \(\text{NSPACE}(\log n)\), 177-184 [Zbl 0885.68068] \textit{Weihrauch, Klaus}, A foundation for computable analysis, 185-199 [Zbl 0896.03033] \textit{Ehrig, H.; Padberg, J.}, A uniform approach to Petri nets, 219-231 [Zbl 0887.68076] \textit{Kiehn, Astrid}, Observing partial order runs of Petri nets, 233-238 [Zbl 0887.68077] \textit{Meseguer, José; Montanari, Ugo; Sassone, Vladimiro}, Representation theorems for Petri nets, 239-249 [Zbl 0885.68115] \textit{Diekert, Volker}, A remark on trace equations, 251-260 [Zbl 0898.68057] \textit{Kindler, Ekkart; Reisig, Wolfgang}, Verification of distributed algorithms with algebraic Petri nets, 261-270 [Zbl 0899.68058] \textit{Daduna, Hans}, Discrete time analysis of a state dependent tandem with different customer types, 287-296 [Zbl 0887.60086] \textit{Hotz, Günter; Wu, Hongzhong}, On the arrangement complexity of uniform trees, 337-350 [Zbl 0889.94015]
0 references
Computer science
0 references