Katalin Pásztor Varga

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
Many-valued logics -- implications and semantic consequences	2014-06-24	Paper
Neighborhood principle driven ICF algorithm and graph distance calculations Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica	2012-07-12	Paper
Many-valued logics -- theorem proving problems	2012-01-05	Paper
Many-valued logic, mappings, ICF graphs, normal forms	2009-12-29	Paper
Languages of logic and their applications Computers & Mathematics with Applications	2008-05-05	Paper
Usablity of some theorem proving systems	2006-04-26	Paper
scientific article; zbMATH DE number 2065283 (Why is no real title available?)	2004-05-18	Paper
scientific article; zbMATH DE number 2016837 (Why is no real title available?)	2003-12-14	Paper
Theorem proving method and the computer science Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica	2002-02-13	Paper
scientific article; zbMATH DE number 3950389 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3494305 (Why is no real title available?)	1972-01-01	Paper

Research outcomes over time

This page was built for person: Katalin Pásztor Varga