Items where Author is " Ésik Zoltán"

Number of items: 3.

Bernátsky László and É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 and 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 and Bernátsky László: Scott induction and equational proofs.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 1. pp. 154-181. ISSN 1571-0661 (1995)

This list was generated on 2026. április 13. 21:02:07 CEST.

Technical information: publicatio AT ek.szte.hu
SZTE Repository of Publications 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.