A. Valverde

zbMath Openvalverde.agustinMaRDI QIDQ236752

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
A categorical approach to unification of generalised terms Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Bi-state logic Correct Reasoning	2012-07-23	Paper
Synonymous theories and knowledge representations in answer set programming Journal of Computer and System Sciences	2012-05-11	Paper
Logics in Artificial Intelligence Lecture Notes in Computer Science	2006-10-25	Paper
Logics in Artificial Intelligence Lecture Notes in Computer Science	2006-10-25	Paper
scientific article; zbMATH DE number 1974022 (Why is no real title available?)	2003-09-03	Paper
scientific article; zbMATH DE number 1943845 (Why is no real title available?)	2003-07-01	Paper
scientific article; zbMATH DE number 1931656 (Why is no real title available?)	2003-06-20	Paper
Satisfiability testing for Boolean formulas using \(\Delta\)-trees Studia Logica	2003-03-12	Paper
scientific article; zbMATH DE number 1759377 (Why is no real title available?)	2002-11-25	Paper
Reductions for non-clausal theorem proving Theoretical Computer Science	2002-03-03	Paper
scientific article; zbMATH DE number 1696829 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1612562 (Why is no real title available?)	2001-07-01	Paper
Implicates and reduction techniques for temporal logics Annals of Mathematics and Artificial Intelligence	2000-06-07	Paper
scientific article; zbMATH DE number 1301761 (Why is no real title available?)	1999-10-05	Paper
A formal identification between tuples and lists with an application to list-arithmetic categories Acta Informatica	1995-03-22	Paper

Research outcomes over time

This page was built for person: A. Valverde