Pages that link to "Item:Q5901566"
From MaRDI portal
The following pages link to Rewriting Techniques and Applications (Q5901566):
Displaying 5 items.
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- Reasoning processes in propositional logic (Q1959223) (← links)
- Reasoning about truth in first-order logic (Q2255212) (← links)
- Merging Procedural and Declarative Proof (Q3638254) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)