É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)
Előnézet |
Szöveg
1-s2.0-S1571066104800094-main.pdf - Megjelent verzió Download (1MB) | Előnézet |
| Szerző azonosítók: |
|
||
|---|---|---|---|
| Mű típusa: | Folyóiratcikk | ||
| Folyóirat/kiadvány címe: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | ||
| Publikáció dátuma: | 1995 | ||
| Kötet: | 1 | ||
| Oldalak: | pp. 154-181 | ||
| ISSN: | 1571-0661 | ||
| Kar/Egység: | Természettudományi Kar | ||
| Intézmény: | Szegedi Tudományegyetem (2000-) | ||
| Nyelv: | angol | ||
| MTMT rekordazonosító: | 1755979 | ||
| DOI azonosító: | https://doi.org/10.1016/S1571-0661(04)80009-4 | ||
| Dátum: | 2023. Szep. 10. 22:04 | ||
| Utolsó módosítás: | 2023. Szep. 10. 22:04 | ||
| URI: | http://publicatio.bibl.u-szeged.hu/id/eprint/20892 |
Actions (login required)
 |
Tétel nézet |
Repozitóriumi letöltési statisztika
Repozitóriumi letöltési statisztika
