RIS export - Várterész Magdolna

Select publications you wish to export to RIS file:

Select type:

2013

Many-valued logics - implications and semantic consequences

author(s): Pásztor Varga, K., Alagi, G., Várterész, M.

published: Acta Universitatis Sapientiae: Informatica, 2013

type: article

2011

Many-valued logics - theorem proving problems

author(s): Pásztor Varga, K., Várterész, M.

published: Novadat, Győr, 2011

type: book chapter

2010

Matematikai logika példatár

author(s): Kádek, T., Robu, J., Várterész, M.

published: Presa Universitara Clujeana, Cluj-Napoca, 2010

type: book

2009

Many-valued Logic, Mappings, ICF Graphs, Normal Forms

author(s): Pásztor Varga, K., Várterész, M.

published: Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös nominatae. Sectio computatorica, 2009

type: article

2008

Languages of logic and their applications

author(s): Pásztor Varga, K., Várterész, M.

published: Computers & Mathematics With Applications, 2008

type: article