DMCA

Formulae-as-Resources Management for an Intuitionistic Theorem Prover (1998)

by D. Galmiche , D. Larchey-Wendling
Venue:In 5th Workshop on Logic, Language, Information and Computation, WoLLIC'98, Sao Paulo
Citations:2 - 2 self