![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 99
Volume 99, Number 1, 1992
- Virgil Emil Cazanescu, Gheorghe Stefanescu:
A General Result on Abstract Flowchart Schemes with Applications to the Study of Accessibility, Reduction and Minimization. 1-63 - James Hein:
Completions of Perpetual Logic Programs. 65-78 - Jean-Luc Lambert:
A Structure to Decide Reachability in Petri Nets. 79-104 - Wim H. Hesselink:
Processes and Formalism for Unbounded Choice. 105-119 - Lutz Priese, Doris Nolte:
Strong Fairness and Ultra Metrics. 121-140 - Philip S. Mulry:
Monads and Algebras in the Semantics or Partial Data Types. 141-155 - Sanguthevar Rajasekaran, John H. Reif:
Nested Annealing: A Provable Improvement to Simulated Annealing. 157-176
Volume 99, Number 2, 1992
- Symeon Bozapalidis:
Alphabetic Tree Relations. 177-211 - Jyrki Nummenmaa:
Constructing Compact Rectilinear Planar Layouts Using Canonical Representation of Planar Graphs. 213-230 - Jean Néraud
:
On the Rank of the Subsets of a Free Monoid. 231-241 - Oscar H. Ibarra, Nicholas Q. Trân:
On Space-Bounded Synchronized Alternating Turing Machines. 243-264 - Shuhua Zhang:
Efficient Simplicity Testing of Automata. 265-278 - José L. Balcázar, Uwe Schöning:
Logarithmic Advice Classes. 279-290 - Stefano Varricchio:
On the Decidability of Equivalence Problem for Partially Commutative Rational Power Series. 291-299 - Oscar H. Ibarra, Tao Jiang
, Hui Wang:
A Characterization of Exponential-Time Languages by Alternating Context-Free Grammars. 301-313 - Jean-Denis Fouks:
Tseitin's Formula Revisited. 315-326 - Brigitte Mossé:
Puissances de mots et reconnaissabilité des point fixes d'une substitution. 327-334 - Chính T. Hoàng:
A Parallel Algorithm for Minimum Weighted Colouring of Triangulated Graphs. 335-344
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.