Autowrite

swMATH1282MaRDI QIDQ14022FDOQ14022

Author name not available (Why is that?)

Described by source

• \texttt{Autowrite}: a tool for term rewrite systems and tree automata
• Unnamed Publication

Cited In (6)

• 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
• Automata for the verification of monadic second-order graph properties
• Fly-automata, their properties and applications

This page was built for software: Autowrite