Dear Researchers,

The library will be closed between August 10, 2026 and August 16, 2026. During this period, it will be possible to upload publications, but all other services will be suspended.

Thank you for your understanding.

Várterész Magdolna

University of Debrecen Faculty of Informatics

Department of Computer Science

Publication list

Tudóstér co-authors statistics filterable publication list

Export to RIS (EndNote, Mendeley, RefWorks, Zotero etc.)

Upload publications

Request certified publication list

Uploaded publications:

Publications in DEA:

OA:

Date range:

1985-2013

2013

Pásztor Varga, K., Alagi, G., Várterész, M.: Many-valued logics - implications and semantic consequences.
Acta Univ. Sap., Inf. 5 (2), 145-166, 2013.

DEA

2011

Pásztor Varga, K., Várterész, M.: Many-valued logics - theorem proving problems.
In: Joint Conference on Mathematics and Computer Science (8.) (2010.07.14-07-17) (Komárno, Slovakia), Novadat, Győr, 91-98, 2011. ISBN: 9789639056381

DEA

2010

Kádek, T., Robu, J., Várterész, M.: Matematikai logika példatár.
Presa Universitara Clujeana, Cluj-Napoca, 174 p., 2010. ISBN: 9789735951221

DEA

2009

Pásztor Varga, K., Várterész, M.: Many-valued Logic, Mappings, ICF Graphs, Normal Forms.
Annales Univ. Sci. Budapest., Sect. Comp. 31, 185-202, 2009.

DEA

2008

Pásztor Varga, K., Várterész, M.: Languages of logic and their applications.
Comput. Math. Appl. 55 (8), 1660-1669, 2008.

DEA

Journal metrics:

Q2 Computational Mathematics

Q3 Computational Theory and Mathematics

Q2 Modeling and Simulation

2006

Várterész, M., Pásztor Varga, K.: Computer Science, Logic, Informatics Education.
J. Univers. Comput. Sci. 12 (9), 1405-1410, 2006.

doi DEA

Journal metrics:

Q2 Computer Science (miscellaneous)

Q3 Theoretical Computer Science

2004

Pásztor-Varga, K., Várterész, M.: Usability of some theorem proving systems.
Pure math. appl. 15 (2-3), 273-284, 2004.

DEA

2003

Pásztor Varga, K., Várterész, M.: A matematikai logika alkalmazásszemléletű tárgyalása.
Panem Könyvkiadó, Budapest, 394 p., 2003. ISBN: 9635453647

DEA

2002

Várterész, M., Nagy, B., Kósa, M., Pánovics, J.: A Mesterséges intelligencia tárgy bevezető kurzusának gyakorlatai a Debreceni Egyetemen.
In: Informatika a felsőoktatásban : 2002 : konferencia kiadvány : Debrecen, 2002. aug. 28-30.. Szerk.: Arató Péter, Herdon Miklós, Debreceni Egyetem, Debrecen, 1103-1109, 2002.

10.

Pásztorné Varga, K., Várterész, M., Bognár, K.: Az alkalmazás-orientált logika oktatásának problémái ma a tudományegyetemeken.
In: Informatika a felsőoktatásban 2002 : konferencia kiadvány. Szerk.: Arató Péter; Herdon Miklós, DE Informatikai Int., Debrecen, 180, 2002. ISBN: 9634726917

DEA

11.

Pásztor Varga, K., Várterész, M.: Comparison and usability of two rewriting systems for theorem proving.
Pure math. appl. 13 (1-2), 293-302, 2002.

DEA

2001

12.

Várterész, M.: Accelerated Convergence in Newton-Like Methods.
J. Math. Sci. 103 (4), 529-532, 2001.

doi DEA

Journal metrics:

Q3 Applied Mathematics

Q3 Mathematics (miscellaneous)

Q4 Statistics and Probability

1998

13.

Várterész, M.: Érintő-konvexfüggvényekkel generált egyenletmegoldó iterációk.
Alkalm. mat. l. 19, 219-235, 1998.

14.

Várterész, M.: Iterációs eljárások nem-lineáris egyenletek megoldására.
KLTE, Debrecen, 1998.

15.

Várterész, M.: Matematikai logika.
KLTE, Debrecen, 32 p., 1998.

1992

16.

Várterész, M.: Ob odnom vsegda skhodyashchemsya iteratsionnom metode dlya resheniya nelineinykh uravnenii.
Publ. Math.-Debr. 40 (1-2), 1-10, 1992.

DEA

1991

17.

Várterész, M.: Equation solving interactions based on tagential convex functions.
Publ. Math. Debrecen. 39 (3-4), 253-261, 1991.

1985

18.

Várterész, M.: O vsegda shodâŝihsâ iteracionnyh metodah kasmel'nyh vypuklyh funkcij djâ rešeniâ nelinejnyh upravlenij.
Publ. Math. Debrecen. 32, 255-265, 1985.