A decision procedure for the equivalence of two dpdas one of which is linear

Yair Itzhaik; Amiram Yehudai

doi:10.1007/3-540-10843-2_19

A decision procedure for the equivalence of two dpdas one of which is linear

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Automata, Languages and Programming - 8th Colloquium
Editors	Shimon Even, Oded Kariv
Publisher	Springer Verlag
Pages	229-237
Number of pages	9
ISBN (Print)	9783540108436
DOIs	https://doi.org/10.1007/3-540-10843-2_19
State	Published - 1981
Event	8th International Colloquium on Automata, Languages and Programming, ICALP 1981 - Acre, Israel Duration: 13 Jul 1981 → 17 Jul 1981

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	115 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Colloquium on Automata, Languages and Programming, ICALP 1981
Country/Territory	Israel
City	Acre
Period	13/07/81 → 17/07/81

Access to Document

10.1007/3-540-10843-2_19

Cite this

Itzhaik, Y., & Yehudai, A. (1981). A decision procedure for the equivalence of two dpdas one of which is linear. In S. Even, & O. Kariv (Eds.), Automata, Languages and Programming - 8th Colloquium (pp. 229-237). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 115 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-10843-2_19

Itzhaik, Yair ; Yehudai, Amiram. / A decision procedure for the equivalence of two dpdas one of which is linear. Automata, Languages and Programming - 8th Colloquium. editor / Shimon Even ; Oded Kariv. Springer Verlag, 1981. pp. 229-237 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{97752cff1af14f4488aa8b4025f8b79d,

title = "A decision procedure for the equivalence of two dpdas one of which is linear",

author = "Yair Itzhaik and Amiram Yehudai",

year = "1981",

doi = "10.1007/3-540-10843-2_19",

language = "אנגלית",

isbn = "9783540108436",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "229--237",

editor = "Shimon Even and Oded Kariv",

booktitle = "Automata, Languages and Programming - 8th Colloquium",

note = "8th International Colloquium on Automata, Languages and Programming, ICALP 1981 ; Conference date: 13-07-1981 Through 17-07-1981",

}

Itzhaik, Y & Yehudai, A 1981, A decision procedure for the equivalence of two dpdas one of which is linear. in S Even & O Kariv (eds), Automata, Languages and Programming - 8th Colloquium. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 115 LNCS, Springer Verlag, pp. 229-237, 8th International Colloquium on Automata, Languages and Programming, ICALP 1981, Acre, Israel, 13/07/81. https://doi.org/10.1007/3-540-10843-2_19

A decision procedure for the equivalence of two dpdas one of which is linear. / Itzhaik, Yair; Yehudai, Amiram.
Automata, Languages and Programming - 8th Colloquium. ed. / Shimon Even; Oded Kariv. Springer Verlag, 1981. p. 229-237 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 115 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A decision procedure for the equivalence of two dpdas one of which is linear

AU - Itzhaik, Yair

AU - Yehudai, Amiram

PY - 1981

Y1 - 1981

UR - http://www.scopus.com/inward/record.url?scp=85034223705&partnerID=8YFLogxK

U2 - 10.1007/3-540-10843-2_19

DO - 10.1007/3-540-10843-2_19

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85034223705

SN - 9783540108436

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 229

EP - 237

BT - Automata, Languages and Programming - 8th Colloquium

A2 - Even, Shimon

A2 - Kariv, Oded

PB - Springer Verlag

T2 - 8th International Colloquium on Automata, Languages and Programming, ICALP 1981

Y2 - 13 July 1981 through 17 July 1981

ER -

Itzhaik Y, Yehudai A. A decision procedure for the equivalence of two dpdas one of which is linear. In Even S, Kariv O, editors, Automata, Languages and Programming - 8th Colloquium. Springer Verlag. 1981. p. 229-237. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-10843-2_19

A decision procedure for the equivalence of two dpdas one of which is linear

Publication series

Conference

Access to Document

Other files and links

Cite this