Katalin Pásztor Varga

From MaRDI portal
Person:2425444

Available identifiers

zbMath Open pasztor-varga.katalinMaRDI QIDQ2425444

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49817122014-06-24Paper
Neighborhood principle driven ICF algorithm and graph distance calculations2012-07-12Paper
Many-valued logics -- theorem proving problems2012-01-05Paper
Many-valued logic, mappings, ICF graphs, normal forms2009-12-29Paper
Languages of logic and their applications2008-05-05Paper
Usablity of some theorem proving systems2006-04-26Paper
https://portal.mardi4nfdi.de/entity/Q44599102004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44394452003-12-14Paper
Theorem proving method and the computer science2002-02-13Paper
https://portal.mardi4nfdi.de/entity/Q37204761986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40753871972-01-01Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2425444&oldid=7121849"
Powered by MediaWiki