Login / Signup
Zdzislaw Habasinski
Publication Activity (10 Years)
Years Active: 1984-1989
Publications (10 Years): 0
</>
Publications
</>
Zdzislaw Habasinski
Solving Generalized Equations Over Infinite Trees.
J. Inf. Process. Cybern.
25 (5/6) (1989)
Zdzislaw Habasinski
Regular Automata and Model Checking.
CAAP
(1988)
Zdzislaw Habasinski
Decidability in Pratt's process logics.
Mathematical Methods of Specification and Synthesis of Software Systems
(1985)
Zdzislaw Habasinski
Model theory of propositional logics of programs, some open problems.
Symposium on Computation Theory
(1984)
Zdzislaw Habasinski
Process Logics: Two Decidability Results.
MFCS
(1984)