Conference Paper/Proceeding/Abstract 221 views 2 downloads
Undecidability of Equality for Codata Types / Ulrich, Berger; Anton, Setzer
Coalgebraic Methods in Computer Science, Volume: 11202
Swansesa University Authors: Ulrich, Berger, Anton, Setzer
-
PDF | Accepted Manuscript
Download (402.68KB)
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 |