scientific article; zbMATH DE number 6744196

DOI10.4230/LIPIcs.RTA.2015.143zbMath1366.68114MaRDI QIDQ5277876

Jörg Endrullis, Alexandra Silva, Andrew Polonsky, Helle Hvid Hansen, Dimitri Hendriks

Publication date: 12 July 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coinductioninfinitary rewriting

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items (9)

Unnamed Item ⋮ Projections for infinitary rewriting (extended version) ⋮ The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them ⋮ Projections for infinitary rewriting ⋮ Clocks for Functional Programs ⋮ Unnamed Item ⋮ Degrees of Infinite Words, Polynomials and Atoms ⋮ Unnamed Item ⋮ Integrating induction and coinduction via closure operators and proof cycles

Uses Software

• Coq

This page was built for publication: