Tarmo Uustalu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Keiko Nakata 0001

> Home > Persons > Tarmo Uustalu

Publications

2015
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NakataU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NakataU14
Keiko Nakata, Tarmo Uustalu:
A Hoare logic for the coinductive trace-based big-step semantics of While. Log. Methods Comput. Sci. 11(1) (2015)
2013
[i2]
- view
  - electronic edition @ nii.ac.jp (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/HasuoNU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/HasuoNU13
Ichiro Hasuo, Keiko Nakata, Tarmo Uustalu:
Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11). NII Shonan Meet. Rep. 2013 (2013)
2012
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-1200
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-1200
Marc Bezem, Keiko Nakata, Tarmo Uustalu:
On streams that are finitely red. Log. Methods Comput. Sci. 8(4) (2012)
2011
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/NakataUB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/NakataUB11
Keiko Nakata, Tarmo Uustalu, Marc Bezem:
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. APLAS 2011: 353-368
2010
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/NakataU10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/NakataU10
Keiko Nakata, Tarmo Uustalu:
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. ESOP 2010: 488-506
[c36]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1008-2112
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1008-2112
Keiko Nakata, Tarmo Uustalu:
Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction. SOS 2010: 57-75
2009
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/NakataU09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/NakataU09
Keiko Nakata, Tarmo Uustalu:
Trace-Based Coinductive Operational Semantics for While. TPHOLs 2009: 375-390

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.