Pages that link to "Item:Q5901869"
From MaRDI portal
The following pages link to Foundations of Information and Knowledge Systems (Q5901869):
Displaying 5 items.
- Sequent forms of Herbrand theorem and their applications (Q2502163) (← links)
- Equality reasoning in sequent-based calculi (Q2751362) (← links)
- (Q2766544) (← links)
- Quantifier handling issues in computer-oriented intuitionistic calculi (Q2784641) (← links)
- Sequent Calculus in the Topos of Trees (Q2948556) (← links)