Publicacións (20) Publicacións de SUSANA NIEVA SOTO

2020

  1. Extending liquid types to arrays

    ACM Transactions on Computational Logic, Vol. 21, Núm. 2

  2. HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems

    Information and Computation, Vol. 271

2018

  1. Kripke semantics for higher-order type theory applied to constraint logic programming languages

    Theoretical Computer Science, Vol. 712, pp. 1-37

2017

  1. Liquid types for array invariant synthesis

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

2014

  1. An extended constraint deductive database: Theory and implementation

    Journal of Logic and Algebraic Programming, Vol. 83, Núm. 1, pp. 20-52

2013

  1. Formalizing a broader recursion coverage in SQL

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

  2. R-SQL: An SQL database system with extended recursion

    Electronic Communications of the EASST

2009

  1. Implementación de una semántica de punto fijo para un sistema de bases de datos deductivas con restricciones

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

  2. Implementing a fixpoint semantics for a constraint deductive database based on hereditary harrop formulas

    PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

2008

  1. Formalizing a constraint deductive database language based on Hreditary Harrop formulas with negation

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

2007

  1. Higher-order logic programming languages with constraints: A semantics

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

2004

  1. Providing declarative semantics for HH extended constraint logic programs

    Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

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

1997

  1. Constraint logic programming with hereditary Harrop formulas

    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM

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)

1989

  1. Mizar/Log: una mplementación del sistema Mizar-Mse en un lenguaje de programación lógico

    Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)