The following pages link to (Q4790669):
Displaying 10 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Formalizing Arrow's theorem (Q1040010) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- Certifying Term Rewriting Proofs in ELAN (Q2841249) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
