A. Valverde

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