No Cover Image

Book chapter 1038 views 235 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!
first_indexed 2015-11-21T01:53:35Z
last_indexed 2019-10-18T03:33:58Z
id cronfa24566
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-10-17T23:11:54.1824743</datestamp><bib-version>v2</bib-version><id>24566</id><entry>2015-11-20</entry><title>How to Reason Coinductively Informally</title><swanseaauthors><author><sid>5f7695285397f46d121207120247c2ae</sid><ORCID>0000-0001-5322-6060</ORCID><firstname>Anton</firstname><surname>Setzer</surname><name>Anton Setzer</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2015-11-20</date><deptcode>SCS</deptcode><abstract/><type>Book chapter</type><journal>Advances in Proof Theory</journal><volume>28</volume><paginationEnd>408</paginationEnd><publisher>Birkh&#xE4;user</publisher><placeOfPublication>Switzerland</placeOfPublication><isbnPrint>978-3-319-29196-3</isbnPrint><isbnElectronic>978-3-319-29198-7</isbnElectronic><issnPrint>2297-0576</issnPrint><issnElectronic>2297-0584</issnElectronic><keywords/><publishedDay>23</publishedDay><publishedMonth>5</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-05-23</publishedDate><doi>10.1007/978-3-319-29198-7_12</doi><url>http://www.cs.swan.ac.uk/~csetzer/articles/jaeger60Birthdaymain.pdf</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-10-17T23:11:54.1824743</lastEdited><Created>2015-11-20T14:43:12.6139729</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Anton</firstname><surname>Setzer</surname><orcid>0000-0001-5322-6060</orcid><order>1</order></author></authors><documents><document><filename>0024566-14042016172843.pdf</filename><originalFilename>jaeger60Birthdaymainv3.pdf</originalFilename><uploaded>2016-04-14T17:28:43.7000000</uploaded><type>Output</type><contentLength>374429</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2017-05-05T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2019-10-17T23:11:54.1824743 v2 24566 2015-11-20 How to Reason Coinductively Informally 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2015-11-20 SCS Book chapter Advances in Proof Theory 28 408 Birkhäuser Switzerland 978-3-319-29196-3 978-3-319-29198-7 2297-0576 2297-0584 23 5 2016 2016-05-23 10.1007/978-3-319-29198-7_12 http://www.cs.swan.ac.uk/~csetzer/articles/jaeger60Birthdaymain.pdf COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-10-17T23:11:54.1824743 2015-11-20T14:43:12.6139729 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Anton Setzer 0000-0001-5322-6060 1 0024566-14042016172843.pdf jaeger60Birthdaymainv3.pdf 2016-04-14T17:28:43.7000000 Output 374429 application/pdf Accepted Manuscript true 2017-05-05T00:00:00.0000000 true
title How to Reason Coinductively Informally
spellingShingle How to Reason Coinductively Informally
Anton Setzer
title_short How to Reason Coinductively Informally
title_full How to Reason Coinductively Informally
title_fullStr How to Reason Coinductively Informally
title_full_unstemmed How to Reason Coinductively Informally
title_sort How to Reason Coinductively Informally
author_id_str_mv 5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv 5f7695285397f46d121207120247c2ae_***_Anton Setzer
author Anton Setzer
author2 Anton Setzer
format Book chapter
container_title Advances in Proof Theory
container_volume 28
publishDate 2016
institution Swansea University
isbn 978-3-319-29196-3
978-3-319-29198-7
issn 2297-0576
2297-0584
doi_str_mv 10.1007/978-3-319-29198-7_12
publisher Birkhäuser
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://www.cs.swan.ac.uk/~csetzer/articles/jaeger60Birthdaymain.pdf
document_store_str 1
active_str 0
published_date 2016-05-23T03:29:10Z
_version_ 1763751127372791808
score 11.010322