The Equivalence Problem for Deterministic Two-Way Sequential Transducers is Decidable von Gurari, Eitan M.

Volltext

Decidable problems for powerful programs von GURARI, E. M

Volltext

Two-Way Counter Machines and Diophantine Equations von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

Improved dynamic programming algorithms for bandwidth minimization and the MinCut Linear Arrangement problem von Gurari, Eitan M, Sudborough, Ivan Hal

Volltext

The complexity of decision problems for finite-turn multicounter machines von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

The Complexity of the Equivalence Problem for Simple Programs von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

An NP-Complete Number-Theoretic Problem von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

Path Systems: Constructions, Solutions and Applications von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

Deadlock detection in communicating finite state machines von Gurari, Eitan M., Lai, Ten Hwang

Volltext

The complexity of decision problems for finite-turn multicounter machines von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

On the Difficulties Involved in the Segmentation of Pictures von Gurari, Eitan M., Wechsler, Harry

Volltext

Two-way counter machines and finite-state transducers von Gurari, Eitan M.

Volltext

A note on finite-valued and finitely ambiguous transducers von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

The complexity of the equivalence problem for two characterizations of presburger sets von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

(Semi)alternating stack automata von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

Some simplified undecidable and NP-hard problems for simple programs von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

Simple counter machines and number-theoretic problems von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

Some decision problems concerning sequential transducers and checking automata von Gurari, Eitan M., Ibarra, Oscar H.

Volltext

Deadlock detection in communicating finite state machines von Gurari, Eitan M., Lai, Ten Hwang

Volltext

On the space complexity of recursive algorithms von Gurari, Eitan M., Ibarra, Oscar H.

Volltext