|
Journals in DBLP
- Helmuth Partsch, Frank A. Stomp
A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1990, v:2, n:2, pp:109-122 [Journal]
- Eike Best, Jörg Desel
Partial Order Behaviour and Structure of Petri Nets. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1990, v:2, n:2, pp:123-138 [Journal]
- Wim H. Hesselink
Axioms and Models of Linear Logic. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1990, v:2, n:2, pp:139-166 [Journal]
- Jayadev Misra
Equational Reasoning About Nondeterministic Processes. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1990, v:2, n:2, pp:167-195 [Journal]
|