Pages that link to "Item:Q5437032"
From MaRDI portal
The following pages link to Efficient execution in an automated reasoning environment (Q5437032):
Displayed 4 items.
- Partial and nested recursive function definitions in higher-order logic (Q972425) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- An ACL2 Tutorial (Q3543644) (← links)