Böngészés, Szakterület szerint "01.02. Számítás- és információtudomány"

csoportosítás: Publikációban használt név | csoportosítás nélkül

Válasszon: É

Találatok száma: 1.

É

É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 17. 10:25:20 CEST.

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 á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.