Tarcisio Pequeno

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
scientific article; zbMATH DE number 7238919 (Why is no real title available?)	2020-08-25	Paper
A logical expression of reasoning Synthese	2007-06-14	Paper
Advances in Artificial Intelligence – SBIA 2004 Lecture Notes in Computer Science	2005-08-22	Paper
Advances in Artificial Intelligence Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 2019865 (Why is no real title available?)	2002-01-01	Paper
A general treatment for the deduction theorem in open calculi Logique et Analyse. Nouvelle Série	2001-10-30	Paper
scientific article; zbMATH DE number 910431 (Why is no real title available?)	1996-07-28	Paper
A reasoning method for a paraconsistent logic Studia Logica	1994-09-26	Paper
scientific article; zbMATH DE number 140409 (Why is no real title available?)	1993-03-28	Paper
An approach for data type specification and its use in program verification Information Processing Letters	1979-01-01	Paper
Program Derivation Using Data Types: A Case Study IEEE Transactions on Software Engineering	1979-01-01	Paper

Research outcomes over time

This page was built for person: Tarcisio Pequeno