![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 126
Volume 126, Number 1, 11 April 1994
- Henrik Reif Andersen:
Model Checking and Boolean Graphs. 3-30 - Anne-Cécile Caron
, Jean-Luc Coquidé:
Decidability of Reachability for Disjoint Union of Term Rewriting Systems. 31-52 - Bruno Courcelle:
Monadic Second-Order Definable Graph Transductions: A Survey. 53-75 - Mads Dam:
CTL* and ECTL* as Fragments of the Modal mu-Calculus. 77-96 - Andreas Potthoff:
Modulo-Counting Quantifiers Over Finite Trees. 97-112 - Helmut Seidl:
Finite Tree Automata with Cost Functions. 113-142
Volume 126, Number 2, 25 April 1994
- Doron A. Peled, Amir Pnueli:
Proving Partial Order Properties. 143-182 - Rajeev Alur, David L. Dill:
A Theory of Timed Automata. 183-235 - J. A. Gerhard, Mario Petrich:
Unification in Free Distributive Lattices. 237-257 - Vincent van Oostrom
:
Confluence by Decreasing Diagrams. 259-280 - Laurent Regnier:
Une équivalence sur les lambda-termes. 281-292
![](https://dblp.org/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.