É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)
Preview |
Text
1-s2.0-S1571066104800094-main.pdf - Published Version Download (1MB) | Preview |
| Creators: |
|
||
|---|---|---|---|
| Item Type: | Journal Article | ||
| Journal or Publication Title: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | ||
| Date: | 1995 | ||
| Volume: | 1 | ||
| Page Range: | pp. 154-181 | ||
| ISSN: | 1571-0661 | ||
| Faculty/Unit: | Faculty of Science and Mathematics | ||
| Institution: | University of Szeged (2000-) | ||
| Language: | English | ||
| MTMT rekordazonosító: | 1755979 | ||
| DOI azonosító: | https://doi.org/10.1016/S1571-0661(04)80009-4 | ||
| Date Deposited: | 2023. Sep. 10. 22:04 | ||
| Last Modified: | 2023. Sep. 10. 22:04 | ||
| URI: | http://publicatio.bibl.u-szeged.hu/id/eprint/20892 |
Actions (login required)
 |
View Item |
Download Statistics
Download Statistics
