AAAAAA

   
Results: 1-2 |
Results: 2
Higher order unification via explicit substitutions
Authors: Dowek, G Hardin, T Kirchner, C
Citation: G. Dowek et al., Higher order unification via explicit substitutions, INF COMPUT, 157(1-2), 2000, pp. 183-235
Automated theorem proving in first-order logic module: On the difference between type theory and set theory
Authors: Dowek, G
Citation: G. Dowek, Automated theorem proving in first-order logic module: On the difference between type theory and set theory, LECT N A I, 1761, 2000, pp. 1-22
Risultati: 1-2 |