The following pages link to (Q3490989):
Displaying 4 items.
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- The expressiveness of a family of finite set languages (Q672126) (← links)
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- Meta-circular interpreter for a strongly typed language (Q908683) (← links)
