| |
| 1998 | ||
|---|---|---|
| 4 | L. Bernátsky, Zoltán Ésik: Semantics on Flowchart Programs and the Free Conway Theories. ITA 32(1-3): 35-78 (1998) | |
| 1997 | ||
| 3 | EE | L. Bernátsky: Regular Expression Star-Freeness is PSPACE-Complete. Acta Cybern. 13(1): 1-22 (1997) |
| 1995 | ||
| 2 | EE | Zoltán Ésik, L. Bernátsky: Scott induction and equational proofs. Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 1 | EE | Zoltán Ésik, L. Bernátsky: Equational Properties of Kleene Algebras of Relations with Conversion. Theor. Comput. Sci. 137(2): 237-251 (1995) |
| 1 | Zoltán Ésik | [1] [2] [4] |