Yair Itzhaik

According to our database1, Yair Itzhaik authored at least 4 papers between 1981 and 1984.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1984
An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA
Inf. Control., July, 1984

New Families of Non Real Time DPDA's and their Decidability Results.
Theor. Comput. Sci., 1984

1983
On Containment Problems for Finite-Turn Languages (Extended Abstract).
Proceedings of the Fundamentals of Computation Theory, 1983

1981
A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract).
Proceedings of the Automata, 1981


  Loading...