Szerző: " Bernátsky László"

Vissza
Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Találatok száma: 5.

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)

A lista elkészítésének dátuma 2024. április 20. 11:33:21 CEST.