Yair Itzhaik

Publication Activity (10 Years)

Years Active: 1981-1984
Publications (10 Years): 0

Publications

Yair Itzhaik, Amiram Yehudai
New Families of Non Real Time DPDA's and their Decidability Results. Theor. Comput. Sci. 34 (1984)
Yair Itzhaik, Amiram Yehudai
An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA Inf. Control. 62 (1) (1984)
Yair Itzhaik, Amiram Yehudai
On Containment Problems for Finite-Turn Languages (Extended Abstract). FCT (1983)
Yair Itzhaik, Amiram Yehudai
A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). ICALP (1981)