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

Yair Itzhaik, Amiram Yehudai

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationAutomata, Languages and Programming - 8th Colloquium
EditorsShimon Even, Oded Kariv
PublisherSpringer Verlag
Pages229-237
Number of pages9
ISBN (Print)9783540108436
DOIs
StatePublished - 1981
Event8th International Colloquium on Automata, Languages and Programming, ICALP 1981 - Acre, Israel
Duration: 13 Jul 198117 Jul 1981

Publication series

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

Conference

Conference8th International Colloquium on Automata, Languages and Programming, ICALP 1981
Country/TerritoryIsrael
CityAcre
Period13/07/8117/07/81

Cite this