Sándor Vályi

From MaRDI portal
(Redirected from Person:514576)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Circular interval-valued computers and simulation of (red-green) Turing machines
Fundamenta Informaticae
2021-10-25Paper
Computing discrete logarithm by interval-valued paradigm2021-06-22Paper
Computing discrete logarithm by interval-valued paradigm
(available as arXiv preprint)
2021-06-22Paper
An extension of interval-valued computing equivalent to red-green Turing machines2018-06-26Paper
A Shift-free Characterization of NP within Interval-valued Computing
Fundamenta Informaticae
2018-01-19Paper
On the axiomatizability of some first-order spatio-temporal theories
Synthese
2017-03-09Paper
A characterization of NP within interval-valued computing
Lecture Notes in Computer Science
2015-09-15Paper
Prime factorization by interval-valued computing
Publicationes Mathematicae Debrecen
2012-07-12Paper
Interval-valued computations without the product operator2010-01-21Paper
An extension of protocol verification modal logic to multi-channel protocols2009-03-11Paper
Interval-valued computations and their connection with PSPACE
Theoretical Computer Science
2008-04-16Paper


Research outcomes over time


This page was built for person: Sándor Vályi