| |
| 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 | |
| 1 | Amiram Yehudai | [1] [2] [3] [4] |