Pages that link to "Item:Q1362744"

The following pages link to Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers (Q1362744):

Displayed 3 items.

• Homomorphisms and chains of Kripke models (Q535159) ‎ (← links)
• Counting proofs in propositional logic (Q1014285) ‎ (← links)
• A proof-theoretic foundation of abortive continuations (Q2464725) ‎ (← links)