Pages that link to "Item:Q4245942"
From MaRDI portal
The following pages link to Automated reasoning with a constraint-based metainterpreter (Q4245942):
Displaying 5 items.
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- Automating the synthesis of decision procedures in a constructive metatheory (Q1267772) (← links)
- (Q3489524) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659) (← links)