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

Találatok száma: 4.

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 2026. január 22. 21:21:25 CET.

Bejelentkezés szerkesztőként.
Itt kérhet technikai vagy tartalmi segítséget: publicatio AT ek.szte.hu
Az SZTE Klebelsberg Könyvtár és Levéltár által működtetett SZTE Publicatio Repozitórium megkapta az MTMT Repozitórium Minősítő Bizottságától a "Minősített repozitórium" tanúsítványt.
SZTE Publicatio Repozitórium is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.