No Cover Image

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

  • Accepted Manuscript under embargo until: 20th September 2019
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