The following pages link to (Q3140630):
Displaying 7 items.
- The undecidability of simultaneous rigid E-unification (Q671659) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- Logic with equality: Partisan corroboration and shifted pairing (Q1854299) (← links)
- Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- (Q5858677) (← links)
- Simultaneous rigid E-unification is undecidable (Q6560168) (← links)