Katalin Pásztor Varga
From MaRDI portal
Person:2425444
Available identifiers
zbMath Open pasztor-varga.katalinMaRDI QIDQ2425444
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 |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q4981712 | 2014-06-24 | Paper |
| Neighborhood principle driven ICF algorithm and graph distance calculations | 2012-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3105088 | 2012-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3653875 | 2009-12-29 | Paper |
| Languages of logic and their applications | 2008-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5290079 | 2006-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4459910 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439445 | 2003-12-14 | Paper |
| Theorem proving method and the computer science | 2002-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3720476 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4075387 | 1972-01-01 | Paper |
Research outcomes over time
This page was built for person: Katalin Pásztor Varga
