Publicaciones en las que colabora con SUSANA NIEVA SOTO (6)

2001

  1. A higher-order logic programming language with constraints

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Constraint Logic Programming with Hereditary Harrop formulas

    Theory and Practice of Logic Programming, Vol. 1, Núm. 4, pp. 409-445

1996

  1. Free variable tableaux for a many sorted logic with preorders

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Reasoning with preorders and dynamic sorts using free variable tableaux

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1993

  1. Foundations of a theorem prover for functional and mathematical uses

    Journal of Applied Non-Classical Logics, Vol. 3, Núm. 1, pp. 7-38

1992

  1. MIZ-PR: A theorem prover for polymorphic and recursive functions

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)