Sándor Vályi
Sándor Vályi
associate professor University College of Nyíregyháza
Verifierad e-postadress på nye.hu
Titel
Citeras av
Citeras av
År
Interval-valued computations and their connection with PSPACE
B Nagy, S Vályi
Theoretical Computer Science 394 (3), 208-222, 2008
162008
Solving a PSPACE-complete problem by a linear intervalvalued computation
B Nagy, S Vályi
Proc. of Conf. Computability in Europe, 216-225, 2006
92006
Prime factorization by interval-valued computing
B Nagy, S Valyi
Publicationes Mathematicae Debrecen 79 (3), 539-552, 2011
82011
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic.
B Nagy, S Vályi
VLL 274, 13-26, 2007
82007
Computing discrete logarithm by interval-valued paradigm
B Nagy, S Vályi
arXiv preprint arXiv:1404.0078, 2014
42014
On the axiomatizability of some first-order spatio-temporal theories
S Vályi
Synthese 192 (7), 2293-2309, 2015
22015
An extension of protocol verification modal logic to multi-channel protocols
PTS Vályi
Tatra Mt. Math. Publ 41, 153-166, 2008
22008
An Extension of Interval-Valued Computing Equivalent to Red-Green Turing Machines
B Nagy, S Vályi
International Conference on Machines, Computations, and Universality, 137-152, 2018
12018
A Shift-free Characterization of NP within Interval-valued Computing
B Nagy, S Vályi
Fundamenta Informaticae 155 (1-2), 187-207, 2017
12017
A Characterization of NP Within Interval-Valued Computing
B Nagy, S Vályi
International Conference on Machines, Computations, and Universality, 164-179, 2015
12015
Axiomatizability questions of predicate spatio-temporal theories
S Vályi
Logic in Hungary, 2005, 2005
2005
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–14