Zum Inhalt springen

  1. Silver, Lucas [VerfasserIn]; Westbrook, Eddy [VerfasserIn]; Yacavone, Matthew [VerfasserIn]; Scott, Ryan [VerfasserIn] ; Lucas Silver and Eddy Westbrook and Matthew Yacavone and Ryan Scott [MitwirkendeR]

    Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  2. Silver, Lucas [VerfasserIn]; Westbrook, Eddy [VerfasserIn]; Yacavone, Matthew [VerfasserIn]; Scott, Ryan [VerfasserIn] ; Lucas Silver and Eddy Westbrook and Matthew Yacavone and Ryan Scott [MitwirkendeR]

    Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  3. Ciccone, Luca [VerfasserIn]; Dagnino, Francesco [VerfasserIn]; Zucca, Elena [VerfasserIn] ; Luca Ciccone and Francesco Dagnino and Elena Zucca [MitwirkendeR]

    Flexible Coinduction in Agda

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  5. Aguirre, Alejandro [VerfasserIn]; Barthe, Gilles [VerfasserIn]; Hsu, Justin [VerfasserIn]; Silva, Alexandra [VerfasserIn] ; Alejandro Aguirre and Gilles Barthe and Justin Hsu and Alexandra Silva [MitwirkendeR]

    Almost Sure Productivity

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  6. Endrullis, Jörg [VerfasserIn]; Hansen, Helle Hvid [VerfasserIn]; Hendriks, Dimitri [VerfasserIn]; Polonsky, Andrew [VerfasserIn]; Silva, Alexandra [VerfasserIn] ; Jörg Endrullis and Helle Hvid Hansen and Dimitri Hendriks and Andrew Polonsky and Alexandra Silva [MitwirkendeR]

    A Coinductive Framework for Infinitary Rewriting and Equational Reasoning

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  9. Ancona, Davide [VerfasserIn]; Dagnino, Francesco [VerfasserIn]; Rot, Jurriaan [VerfasserIn]; Zucca, Elena [VerfasserIn] ; Davide Ancona and Francesco Dagnino and Jurriaan Rot and Elena Zucca [MitwirkendeR]

    A Big Step from Finite to Infinite Computations (SCICO Journal-first)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  11. Ancona, Davide [VerfasserIn]; Dagnino, Francesco [VerfasserIn]; Zucca, Elena [VerfasserIn] ; Davide Ancona and Francesco Dagnino and Elena Zucca [MitwirkendeR]

    Modeling Infinite Behaviour by Corules

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  13. Espírito Santo, José [VerfasserIn]; Matthes, Ralph [VerfasserIn]; Pinto, Luís [VerfasserIn] ; José Espírito Santo and Ralph Matthes and Luís Pinto [MitwirkendeR]

    Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  14. Foster, Simon [VerfasserIn]; Hur, Chung-Kil [VerfasserIn]; Woodcock, Jim [VerfasserIn] ; Simon Foster and Chung-Kil Hur and Jim Woodcock [MitwirkendeR]

    Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  15. Ancona, Davide [VerfasserIn]; Barbieri, Pietro [VerfasserIn]; Dagnino, Francesco [VerfasserIn]; Zucca, Elena [VerfasserIn] ; Davide Ancona and Pietro Barbieri and Francesco Dagnino and Elena Zucca [MitwirkendeR]

    Sound Regular Corecursion in coFJ

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  18. Matthes, Ralph [VerfasserIn]; Picard, Celia [VerfasserIn] ; Ralph Matthes and Celia Picard [MitwirkendeR]

    Verification of redecoration for infinite triangular matrices using coinduction

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013