dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Amiram Yehudai (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYair 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)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYair Itzhaik, Amiram Yehudai: New Families of Non Real Time DPDA's and their Decidability Results. Theor. Comput. Sci. 34: 255-274 (1984)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYair Itzhaik, Amiram Yehudai: On Containment Problems for Finite-Turn Languages (Extended Abstract). FCT 1983: 219-231
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYair 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 TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page