No Cover Image

Book chapter 801 views 195 downloads

How to Reason Coinductively Informally

Anton Setzer Orcid Logo

Advances in Proof Theory, Volume: 28

Swansea University Author: Anton Setzer Orcid Logo

Published in: Advances in Proof Theory
ISBN: 978-3-319-29196-3 978-3-319-29198-7
ISSN: 2297-0576 2297-0584
Published: Switzerland Birkhäuser 2016
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa24566
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
End Page: 408