The following pages link to Bernd Löchner (Q844196):
Displaying 9 items.
- Knuth-Bendix completion of theories of commuting group endomorphisms (Q844197) (← links)
- Things to know when implementing KBO (Q861708) (← links)
- (Q1404986) (redirect page) (← links)
- On using ground joinable equations in equational theorem proving (Q1404987) (← links)
- (Q3150302) (← links)
- (Q4539648) (← links)
- (Q4809080) (← links)
- Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type (Q5055872) (← links)
- Automated Reasoning (Q5307048) (← links)
