Conference contribution 183 views
Undecidability of Equality for Codata Types / Ulrich Berger; Anton Setzer
Coalgebraic Methods in Computer Science, Volume: 11202
Swansea University Author: Setzer, Anton
DOI (Published version): 10.1007/978-3-030-00389-0_4
Abstract
Undecidability of Equality for Codata Types
| Published in: | Coalgebraic Methods in Computer Science |
|---|---|
| ISBN: | 978-3-030-00388-3 978-3-030-00389-0 |
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Thessaloniki, Greece
CMCS'18
2018
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa38822 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
College of Science |
|---|---|
| End Page: |
55 |