|
Journals in DBLP
- Doron Peled, Amir Pnueli
Proving Partial Order Properties. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:126, n:2, pp:143-182 [Journal]
- Rajeev Alur, David L. Dill
A Theory of Timed Automata. [Citation Graph (3, 0)][DBLP] Theor. Comput. Sci., 1994, v:126, n:2, pp:183-235 [Journal]
- J. A. Gerhard, Mario Petrich
Unification in Free Distributive Lattices. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:126, n:2, pp:237-257 [Journal]
- Vincent van Oostrom
Confluence by Decreasing Diagrams. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:126, n:2, pp:259-280 [Journal]
- Laurent Regnier
Une équivalence sur les lambda-termes. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:126, n:2, pp:281-292 [Journal]
|