No Cover Image

Conference Paper/Proceeding/Abstract 215 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

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