Pages that link to "Item:Q3087995"
From MaRDI portal
The following pages link to Structural Analysis of Narratives with the Coq Proof Assistant (Q3087995):
Displaying 17 items.
- Verifying relative safety, accuracy, and termination for program approximations (Q682353) (← links)
- Proofs, programs, processes (Q693063) (← links)
- An effective proof of the well-foundedness of the multiset path ordering (Q857884) (← links)
- Explaining Gabriel-Zisman localization to the computer (Q861700) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- A formal semantics of nested atomic sections with thread escape (Q1749114) (← links)
- Automated verification of the parallel Bellman-Ford algorithm (Q2145339) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Lem: A Lightweight Tool for Heavyweight Semantics (Q3088021) (← links)
- Formalizing Soundness of Contextual Effects (Q3543663) (← links)
- Local Termination (Q3636830) (← links)
- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme (Q3655207) (← links)
- A realizability interpretation of Church's simple theory of types (Q4593235) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- Experimenting Formal Proofs of Petri Nets Refinements (Q5403468) (← links)
