The following pages link to (Q5111195):
Displaying 5 items.
- Combinatorics of first order structures and propositional proof systems (Q701740) (← links)
- Towards a formal proof system for \(\omega\)-rational expressions (Q1064076) (← links)
- Use of logical models for proving infeasibility in term rewriting (Q1751429) (← links)
- Proof-irrelevant model of CC with predicative induction and judgmental equality (Q3224695) (← links)
- (Q4625692) (← links)