Results 301 to 305 of about 32,620 (305)
Some of the next articles are maybe not open access.
Formalizing the Equivalence of Formal Systems in Propositional Logic in Coq
Luoping Cui, Wensheng Yuopenaire +1 more source
Formalizing the Equivalence of Formal Systems in Propositional Logic in Coq
Luoping Cui, Wensheng Yu