Author:
Bourely Christophe,Peltier Nicolas
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. N. D. BRUIJN. Essays on Combinatory Logic, Lambda Calculus and Formalism, chapter A Survey of the project AUTOMATH. Academic Press, 1980.
2. R. CAFERRA and M. HERMENT. GLEFATINF: A graphic framework for combining provers and editing proofs. In Design and Implementation of Symbolic Computation Systems, pages 229–240. Springer-Verlag, 1993.
3. R. CAFERRA and M. HERMENT. A generic graphic framework for combining inference tools and editing proofs and formulae. Journal of Symbolic Computation, 19(2):217–243, 1995.
4. R. CAFERRA and N. ZABEL. A method for simultaneous search for refutations and models by equational constraint solving. Journal of Symbolic Computation, 13:613–641, 1992.
5. H. COMON. Unification et Disunification. Théorie et Applications. PhD thesis, INPG, Grenoble, 1988.