É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 |
| 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 |
| 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
