No Cover Image

Conference Paper/Proceeding/Abstract 291 views 12 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

Tags: Add Tag
No Tags, Be the first to tag this record!
End Page: 55