Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("YEHUDAI A")

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 19 of 19

  • Page / 1

Export

Selection :

  • and

A NOTE ON THE PUMPING LEMMA FOR REGULAR LANGUAGESYEHUDAI A.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 9; NO 3; PP. 135-136; BIBL. 1 REF.Article

ELIMINATING NULL RULES IN LINEAR TIMEHARRISON MA; YEHUDAI A.1981; COMPUT. J.; ISSN 0010-4620; GBR; DA. 1981; VOL. 24; NO 2; PP. 156-161; BIBL. 12 REF.Article

AN INTERACTION THEOREM FOR SIMPLE PRECEDENCE LANGUAGES (EXTENDED ABSTRACT)KREVNER Y; YEHUDAI A.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 360-368; BIBL. 18 REF.Conference Paper

THE DECIDABILITY OF EQUIVALENCE FOR A FAMILY OF LINEAR GRAMMARSYEHUDAI A.1980; INFORM. CONTROL; ISSN 0019-9958; USA; DA. 1980; VOL. 47; NO 2; PP. 122-136; BIBL. 25 REF.Article

CONSTRUCTING A REALTIME DETERMINISTIC PUSHDOWN AUTOMATON FROM A GRAMMARPITTL J; YEHUDAI A.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 22; NO 1; PP. 57-69; BIBL. 12 REF.Article

A note on chains of deterministic pushdown transducersYEHUDAI, A.Information processing letters. 1985, Vol 20, Num 4, pp 221-222, issn 0020-0190Article

A DECISION PROCEDURE FOR THE EQUIVALENCE OF TWO DPDAS ONE OF WHICH IS LINEARITZHAIK Y; YEHUDAI A.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 229-237; BIBL. 13 REF.Conference Paper

A HIERARCHY OF DETERMINISTIC LANGUAGESHARRISON MA; YEHUDAI A.1979; J. COMPUTER SYST. SCI.; USA; DA. 1979; VOL. 19; NO 1; PP. 63-78; BIBL. 10 REF.Article

ON EQUIVALENCE OF GRAMMARS THROUGH TRANSFORMATION TREESHARRISON MA; HAVEL IM; YEHUDAI A et al.1979; THEOR. COMPUTER SCI.; NLD; DA. 1979; VOL. 9; NO 2; PP. 173-205; BIBL. 24 REF.Article

A METHODOLOGY FOR MODULAR USE OF ADABEN ARI M; YEHUDAI A.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 12; PP. 22-26; BIBL. 6 REF.Article

Using transformations in specification-based prototypingBERZINS, V; LUQI; YEHUDAI, A et al.IEEE transactions on software engineering. 1993, Vol 19, Num 5, pp 436-452, issn 0098-5589Article

On test sets for checking morphism equivalence on languages with fair distribution of lettersMAON, Y; YEHUDAI, A.Theoretical computer science. 1984, Vol 33, Num 2-3, pp 239-260, issn 0304-3975Article

An intermediate machine technique for deciding equivalence between a DPDA and a linear DPDAITZHAIK, Y; YEHUDAI, A.Information and control. 1984, Vol 62, Num 1, pp 26-35, issn 0019-9958Article

New families of non real time DPDA's and their decidability resultsITZHAIK, Y; YEHUDAI, A.Theoretical computer science. 1984, Vol 34, Num 3, pp 255-274, issn 0304-3975Article

Balance of many-valued transductions and equivalence problemsMAON, Y; YEHUDAI, A.Theoretical computer science. 1986, Vol 47, Num 3, pp 247-262, issn 0304-3975Article

An iteration theorem for simple precedence languagesKREVNER, Y; YEHUDAI, A.Journal of the Association for Computing Machinery. 1983, Vol 30, Num 4, pp 820-833, issn 0004-5411Article

On tuning recursive proceduresYEHUDAI, A; LIBEDINSKY, F.Software, practice & experience. 1995, Vol 25, Num 9, pp 997-1002, issn 0038-0644Article

Design of an actor language for implicit parallel programmingARIDOR, Y; COHEN, S; YEHUDAI, A et al.SIGPLAN notices. 1998, Vol 33, Num 6, pp 39-47, issn 0362-1340Article

Patterns of the agendaEDEN, A. H; YEHUDAI, A.Lecture notes in computer science. 1998, pp 100-104, issn 0302-9743, isbn 3-540-64039-8Conference Paper

  • Page / 1