Print preview VALIDITY EXPIRED personal data approved: 2014. VI. 26. Publications |
2013
from data base, 2014. VI. 26. |
Pásztor Varga K, Alagi G, Várterész M: Many-valued logics − implications and semantic consequences, ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 5: (2) pp. 145-166. type of document: Journal paper/Article language: English
|
2012
from data base, 2014. VI. 26. |
Kézdi Norbert, Pásztor Varga Katalin, Jakó Éena: Neighborhood principle driven ICF algorithm and graph distance calculations, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 36: pp. 159-177. type of document: Journal paper/Article language: English Full text |
2011
from data base, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Many-valued logics -- theorem proving problems, In: Pop Horia F et al. (szerk.) Proceedings of the 8th joint conference on mathematics and computer science. Győr: Novadat Kiadó, 2011. pp. 91-98. type of document: Part of book/Proceedings Paper language: English
|
2009
from data base, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Many-valued logic, mappings, ICF graphs, normal forms, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 31: pp. 185-202. type of document: Journal paper/Article language: English
|
2008
from data base, 2014. VI. 26. |
Pásztor Varga K, Várterész M: A logika helye az informatikusok alap- és mesterképzésében, In: Pethő Attila, Herdon Miklós (szerk.) Informatika a felsőoktatásban 2008: konferencia kiadvány : Debrecen, 2008 augusztus 27-29. : Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. Debrecen: Debreceni Egyetem Informatikai Kar, 2008. pp. &. type of document: Part of book/Proceedings Paper language: Hungarian
|
2008
from data base, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Languages of logic and their applications, COMPUTERS AND MATHEMATICS WITH APPLICATIONS 55: (8) pp. 1660-1669. type of document: Journal paper/Article impact factor: 0.997 language: English DOI |
2006
from data base, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Computer science, logic, informatics education, JOURNAL OF UNIVERSAL COMPUTER SCIENCE 12: (9) pp. 1405-1410. Paper 10.3217/jucs-012-09-1405. type of document: Journal paper/Article impact factor: 0.338 language: English DOI |
2004
from data base, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Usablity of some theorem proving systems, PURE MATHEMATICS AND APPLICATIONS 15: (2-3) pp. 273-284. type of document: Journal paper/Article number of independent citations: 4 language: English
|
2003
from data base, 2014. VI. 26. |
Pásztorné Varga K, Várterész M : A matematikai logika alkalmazásszemléletű tárgyalása, Budapest: Panem Könyvkiadó, 394 p. type of document: Book/Monography number of independent citations: 8 language: Hungarian
|
2002
from data base, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Comparison and usability of two rewriting systems for theorem proving, PURE MATHEMATICS AND APPLICATIONS 13: (1-2) pp. 293-302. type of document: Journal paper/Article number of independent citations: 2 language: English
|
| Number of independent citations to these publications: | 14 |
|
|