Vissza |
Bernátsky László:
Próba rekord repozitóriumi feltöltéshez.
ÉLET ÉS TUDOMÁNY, 5 (2).
pp. 15-23.
ISSN 0013-6077
(2020)
Bernátsky László; Ésik Zoltán:
Semantics of flowchart programs and the free Conway theories.
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 32 (1-3).
pp. 35-78.
ISSN 0988-3754
(1998)
Bernátsky László:
Regular expression star-freeness is PSPACE-complete.
Acta Cybernetica (Szeged), 13 (1).
pp. 1-21.
ISSN 0324-721X
(1997)
Ésik Zoltán; Bernátsky László:
Equational properties of Kleene algebras of relations with conversation.
THEORETICAL COMPUTER SCIENCE, 137 (2).
pp. 237-251.
ISSN 0304-3975
(1995)
Ésik Zoltán; Bernátsky László:
Scott induction and equational proofs.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 1.
pp. 154-181.
ISSN 1571-0661
(1995)