Pages that link to "Item:Q1701039"

The following pages link to A semantic framework for proof evidence (Q1701039):

Displaying 2 items.

• A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
• Formal Reasoning Using Distributed Assertions (Q6496629) (← links)