Interval-valued computations and their connection with PSPACE B Nagy, S Vályi Theoretical Computer Science 394 (3), 208-222, 2008 | 17 | 2008 |
Solving a PSPACE-complete problem by a linear intervalvalued computation B Nagy, S Vályi Proc. of Conf. Computability in Europe, 216-225, 2006 | 10 | 2006 |
Prime factorization by interval-valued computing B Nagy, S Valyi Publicationes Mathematicae Debrecen 79 (3-4), 539-551, 2011 | 9 | 2011 |
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic. B Nagy, S Vályi VLL 274, 13-26, 2007 | 7 | 2007 |
Computing discrete logarithm by interval-valued paradigm B Nagy, S Vályi arXiv preprint arXiv:1404.0078, 2014 | 5 | 2014 |
An extension of interval-valued computing equivalent to red-green Turing machines B Nagy, S Vályi Machines, Computations, and Universality: 8th International Conference, MCU …, 2018 | 3 | 2018 |
A Shift-free Characterization of NP within Interval-valued Computing B Nagy, S Vályi Fundamenta Informaticae 155 (1-2), 187-207, 2017 | 2 | 2017 |
On the axiomatizability of some first-order spatio-temporal theories S Vályi Synthese 192, 2293-2309, 2015 | 2 | 2015 |
A characterization of NP within interval-valued computing B Nagy, S Vályi Machines, Computations, and Universality: 7th International Conference, MCU …, 2015 | 2 | 2015 |
An extension of protocol verification modal logic to multi-channel protocols PTS Vályi Tatra Mt. Math. Publ 41, 153-166, 2008 | 2 | 2008 |
Circular Interval-valued Computers and Simulation of (Red-green) Turing Machines B Nagy, S Vályi Fundamenta Informaticae 181 (2-3), 213-238, 2021 | 1 | 2021 |
Axiomatizability questions of predicate spatio-temporal theories S Vályi Logic in Hungary, 2005, 2005 | | 2005 |
About the axiomatization of first-and second-order spatio-temporal logics 14 S Vályi | | |
Interval-valued computations without the product operator B Nagy, S Vályi | | |
Investigations into non-classical logic V Sándor | | |
A természetes levezetési kalkulus Gentzen-stílusú kiterjesztése-az informatikai felsőoktatáshoz igazítva Z Mecsei, S Vályi | | |