Susana Nieva

MaRDI QIDQ683711zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reasoning with preorders and dynamic sorts using free variable tableaux	2024-06-21	Paper
Liquid types for array invariant synthesis Automated Technology for Verification and Analysis	2022-08-12	Paper
Extending liquid types to arrays ACM Transactions on Computational Logic	2020-09-11	Paper
HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems Information and Computation	2020-03-12	Paper
Kripke semantics for higher-order type theory applied to constraint logic programming languages Theoretical Computer Science	2018-02-09	Paper
An extended constraint deductive database: theory and implementation The Journal of Logic and Algebraic Programming	2014-02-25	Paper
Higher-Order Logic Programming Languages with Constraints: A Semantics Lecture Notes in Computer Science	2009-03-10	Paper
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation Functional and Logic Programming	2008-04-11	Paper
Formalizing two fixed point semantics for \(HH(C)\)	2006-02-21	Paper
Constraint Logic Programming with Hereditary Harrop formulas Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 2040978 (Why is no real title available?)	2004-02-11	Paper
scientific article; zbMATH DE number 1942454 (Why is no real title available?)	2003-06-30	Paper
scientific article; zbMATH DE number 1692894 (Why is no real title available?)	2002-01-21	Paper
scientific article; zbMATH DE number 1407681 (Why is no real title available?)	2000-09-26	Paper
scientific article; zbMATH DE number 1113860 (Why is no real title available?)	1998-02-08	Paper
Foundations of a theorem prover for functional and mathematical uses Journal of Applied Non-Classical Logics	1994-10-31	Paper

Research outcomes over time

This page was built for person: Susana Nieva