Susana Nieva

From MaRDI portal
Person:683711

Available identifiers

zbMath Open nieva.susanaWikidataQ62036939 ScholiaQ62036939MaRDI QIDQ683711

List of research outcomes





PublicationDate of PublicationType
Reasoning with preorders and dynamic sorts using free variable tableaux2024-06-21Paper
Liquid Types for Array Invariant Synthesis2022-08-12Paper
Extending Liquid Types to Arrays2020-09-11Paper
HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems2020-03-12Paper
Kripke semantics for higher-order type theory applied to constraint logic programming languages2018-02-09Paper
An extended constraint deductive database: theory and implementation2014-02-25Paper
Higher-Order Logic Programming Languages with Constraints: A Semantics2009-03-10Paper
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation2008-04-11Paper
Formalizing two fixed point semantics for \(HH(C)\)2006-02-21Paper
Constraint Logic Programming with Hereditary Harrop formulas2004-03-01Paper
https://portal.mardi4nfdi.de/entity/Q44521272004-02-11Paper
https://portal.mardi4nfdi.de/entity/Q44091542003-06-30Paper
https://portal.mardi4nfdi.de/entity/Q27636342002-01-21Paper
https://portal.mardi4nfdi.de/entity/Q49409362000-09-26Paper
https://portal.mardi4nfdi.de/entity/Q43756341998-02-08Paper
Foundations of a theorem prover for functional and mathematical uses1994-10-31Paper

Research outcomes over time

This page was built for person: Susana Nieva

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:683711&oldid=7749208"
Powered by MediaWiki