Sándor Vályi

According to our database, Sándor Vályi authored at least 8 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Circular Interval-valued Computers and Simulation of (Red-green) Turing Machines.

Benedek Nagy, Sándor Vályi

Fundam. Informaticae, 2021

2018

An Extension of Interval-Valued Computing Equivalent to Red-Green Turing Machines.

Benedek Nagy, Sándor Vályi

Proceedings of the Machines, Computations, and Universality - 8th International Conference, 2018

2017

A Shift-free Characterization of NP within Interval-valued Computing.

Benedek Nagy, Sándor Vályi

Fundam. Informaticae, 2017

2015

On the axiomatizability of some first-order spatio-temporal theories.

Sándor Vályi

Synth., 2015

A Characterization of NP Within Interval-Valued Computing.

Benedek Nagy, Sándor Vályi

Proceedings of the Machines, Computations, and Universality - 7th International Conference, 2015

2012

Computing discrete logarithm by interval-valued paradigm.

Benedek Nagy, Sándor Vályi

Proceedings of the Proceedings 8th International Workshop on Developments in Computational Models, 2012

2008

Interval-valued computations and their connection with PSPACE.

Benedek Nagy, Sándor Vályi

Theor. Comput. Sci., 2008

2007

Visual Reasoning by Generalized Interval-values and Interval Temporal Logic.

Benedek Nagy, Sándor Vályi

Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, 2007