Proving equality of streams automatically

DOI10.4230/LIPICS.RTA.2011.393MaRDI QIDQ5389096zbMATH OpenOpenAlexFDO

Authors Jörg Endrullis, Hans Zantema

Publication date 24 April 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_9af9.html

zbMATH Keywords

stream specificationStreamboxstreams

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Grammars and rewriting systems (68Q42)

Recommendations

• Well-Definedness of Streams by Termination
• A tool proving well-definedness of streams using termination tools
• Well-definedness of streams by transformation and termination
• On the complexity of stream equality
• Equality of streams is a \({\Pi}^0_2\)-complete problem

Cited in

(9)

• Well-definedness of streams by transformation and termination
• On the complexity of stream equality
• A tool proving well-definedness of streams using termination tools
• Well-Definedness of Streams by Termination
• On the complexity of equivalence of specifications of infinite objects
• Equality of streams is a \({\Pi}^0_2\)-complete problem
• Data-Oblivious Stream Productivity
• Characterizing morphic sequences
• ``Backward coinduction, Nash equilibrium and the rationality of escalation

Describes a project that uses

Uses Software

• CIRC

This page was built for publication: Proving equality of streams automatically

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5389096)