![]() | ![]() |
| 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 | L. Bernátsky: Regular Expression Star-Freeness is PSPACE-Complete. Acta Cybern. 13(1): 1-22 (1997) | |
| 1995 | ||
| 2 | Zoltán Ésik, L. Bernátsky: Scott induction and equational proofs. Electr. Notes Theor. Comput. Sci. 1: 154-181 (1995) | |
| 1 | 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] |
Data released under the ODC-BY 1.0 license — See also our legal information page