| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1989 | |
|---|---|---|
| 5 |      | Zdzislaw Habasinski: Solving Generalized Equations Over Infinite Trees. Elektronische Informationsverarbeitung und Kybernetik 25(5/6): 245-254 (1989) |
| 1988 | ||
| 4 |  | Zdzislaw Habasinski: Regular Automata and Model Checking. CAAP 1988: 231-243 |
| 1985 | ||
| 3 | | Zdzislaw Habasinski: Decidability in Pratt's process logics. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 180-184 |
| 1984 | ||
| 2 | | Zdzislaw Habasinski: Process Logics: Two Decidability Results. MFCS 1984: 282-290 |
| 1 | | Zdzislaw Habasinski: Model theory of propositional logics of programs, some open problems. Symposium on Computation Theory 1984: 98-110 |
Data released under the ODC-BY 1.0 license — See also our legal information page