Autowrite

MaRDI QIDQ14022swMATHFDO

Official website http://dept-info.labri.u-bordeaux.fr/~idurand/autowrite/

Described by source

• scientific article; zbMATH DE number 2090086 (Why is no real title available?)
• \texttt{Autowrite}: a tool for term rewrite systems and tree automata

Cited in

(8)

• Decidable call-by-need computations in term rewriting
• Practical algorithms for MSO model-checking on tree-decomposable graphs
• Special tree-width and the verification of monadic second-order graph properties
• Graph structure and monadic second-order logic. A language-theoretic approach
• Treewidthlib
• McCLIM
• Automata for the verification of monadic second-order graph properties
• Fly-automata, their properties and applications

This page was built for software: Autowrite