| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 14 |       | 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) |
| 12 | | Yair Itzhaik, Amiram Yehudai: New Families of Non Real Time DPDA's and their Decidability Results. Theor. Comput. Sci. 34: 255-274 (1984) |
| 11 | | Yair Itzhaik, Amiram Yehudai: On Containment Problems for Finite-Turn Languages (Extended Abstract). FCT 1983: 219-231 |
| 6 | | Yair Itzhaik, Amiram Yehudai: A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). ICALP 1981: 229-237 |
Selection of 4 from 45 records - Amiram Yehudai has 35 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page