A. Valverde

Available identifiers

zbMath Open valverde.agustinMaRDI QIDQ236752

List of research outcomes

Publication	Date of Publication	Type
A categorical approach to unification of generalised terms	2013-08-15	Paper
Bi-state Logic	2012-07-23	Paper
Synonymous theories and knowledge representations in answer set programming	2012-05-11	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4422117	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4409885	2003-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4708914	2003-06-20	Paper
Satisfiability testing for Boolean formulas using \(\Delta\)-trees	2003-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4536325	2002-11-25	Paper
Reductions for non-clausal theorem proving	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2767096	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2721207	2001-07-01	Paper
Implicates and reduction techniques for temporal logics	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4246976	1999-10-05	Paper
A formal identification between tuples and lists with an application to list-arithmetic categories	1995-03-22	Paper

Research outcomes over time

This page was built for person: A. Valverde