The following pages link to Peter H. Schmitt (Q1202018):
Displayed 11 items.
- (Q4524769) (← links)
- (Q4536314) (← links)
- A tableau calculus for first-order branching time logic (Q4632314) (← links)
- (Q4738337) (← links)
- The Theory of Ordered Abelian Groups does not have the Independence Property (Q4744252) (← links)
- Automated Deduction with Shannon Graphs (Q4868260) (← links)
- Two First-Order Theories of Ordinals (Q5049054) (← links)
- (Q5184895) (← links)
- Axiomatization of Typed First-Order Logic (Q5206956) (← links)
- KeY: A Formal Method for Object-Oriented Systems (Q5428904) (← links)
- Lineare Gleichverteilung (Q5906931) (← links)