Pages that link to "Item:Q1868511"

The following pages link to External rewriting for skeptical proof assistants (Q1868511):

Displaying 4 items.

• Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
• A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
• Twenty years of rewriting logic (Q1931904) (← links)
• Tactics for Reasoning Modulo AC in Coq (Q3100211) (← links)