The following pages link to (Q2767046):
Displaying 15 items.
- The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- A logical calculus for problem solving in highly structured application domains (Q1115646) (← links)
- (Q2736348) (← links)
- Higher-order syntax and saturation algorithms for hybrid logic (Q2867945) (← links)
- Refinement of Higher-Order Logic Programs (Q3079921) (← links)
- Mapping Fusion and Synchronized Hyperedge Replacement into logic programming (Q3430667) (← links)
- (Q3792665) (← links)
- (Q4029605) (← links)
- (Q4211444) (← links)
- (Q4287476) (← links)
- (Q4800166) (← links)
- Proof-producing synthesis of ML from higher-order logic (Q5168887) (← links)
- Reasoning with higher-order abstract syntax in a logical framework (Q5738952) (← links)
- Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (Q5756497) (← links)
