Szerző: " Ésik Zoltán"

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

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)

É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. május 13. 06:56:52 CEST.