The following pages link to Cvetan Dunchev (Q3453124):
Displaying 4 items.
- Formalizing Physics: Automation, Presentation and Foundation Issues (Q3453125) (← links)
- Enabling Symbolic and Numerical Computations in HOL Light (Q3453133) (← links)
- Cut-Elimination and Proof Schemata (Q3455184) (← links)
- ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter (Q3460075) (← links)
