Yair Itzhaik

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1984

4 Yair Itzhaik, Amiram Yehudai: An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA Information and Control 62(1): 26-35 (1984)

3 Yair Itzhaik, Amiram Yehudai: New Families of Non Real Time DPDA's and their Decidability Results. Theor. Comput. Sci. 34: 255-274 (1984)

1983

2 Yair Itzhaik, Amiram Yehudai: On Containment Problems for Finite-Turn Languages (Extended Abstract). FCT 1983: 219-231

1981

1 Yair Itzhaik, Amiram Yehudai: A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). ICALP 1981: 229-237

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

Coauthor Index

1 Amiram Yehudai [1] [2] [3] [4]