Certification Monads

MaRDI QIDQ7361479FDO

Authors Christian Sternagel, René Thiemann

Publication date 3 October 2014

Cited in

(7)

• AI Planning Languages Semantics
• Strong Eventual Consistency of the Collaborative Editing Framework WOOT
• Verifying a Decision Procedure for Pattern Completeness
• First-Order Rewriting
• XML
• Munta: A Verified Model Checker for Timed Automata
• First-Order Terms

This page was built for software: Certification Monads