A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Originele taal-2	Engels
Pagina's (van-tot)	167-171
Aantal pagina's	5
Tijdschrift	Information Processing Letters
Volume	42
Nummer van het tijdschrift	3
DOI's	https://doi.org/10.1016/0020-0190(92)90142-I
Status	Gepubliceerd - 1992
Extern gepubliceerd	Ja

Toegang tot document

@article{686d43b569b043e3a4c5b56f0b2b7610,

title = "A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes",

author = "Groote, \{Jan Friso\}",

year = "1992",

doi = "10.1016/0020-0190(92)90142-I",

language = "English",

volume = "42",

pages = "167--171",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "3",

}