The following pages link to (Q4012178):
Displaying 8 items.
- The seven virtues of simple type theory (Q946569) (← links)
- SET-VAR (Q1319383) (← links)
- A Knuth-Bendix-like ordering for orienting combinator equations (Q2096451) (← links)
- A combinator-based superposition calculus for higher-order logic (Q2096452) (← links)
- Translation Templates to Support Strategy Development in PVS (Q2864361) (← links)
- (Q4989394) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
