On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. Aceto, L. & Capobianco, S. Bulletin of the EATCS, 95:220–240, 2008. bibtex @article{DBLP:journals/eatcs/AcetoC08,
author = {Luca Aceto and
Silvio Capobianco},
title = {On the Existence of a Finite Base for Complete Trace Equivalence over
{BPA} with Interrupt},
journal = {Bulletin of the {EATCS}},
volume = {95},
pages = {220--240},
year = {2008},
timestamp = {Tue, 20 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/eatcs/AcetoC08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"SKMveT5jGMK5BovXd","bibbaseid":"aceto-capobianco-ontheexistenceofafinitebaseforcompletetraceequivalenceoverbpawithinterrupt-2008","downloads":0,"creationDate":"2016-02-18T15:10:12.316Z","title":"On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt","author_short":["Aceto, L.","Capobianco, S."],"year":2008,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Silvio"],"propositions":[],"lastnames":["Capobianco"],"suffixes":[]}],"title":"On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt","journal":"Bulletin of the EATCS","volume":"95","pages":"220–240","year":"2008","timestamp":"Tue, 20 Mar 2012 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/journals/eatcs/AcetoC08","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/eatcs/AcetoC08,\n author = {Luca Aceto and\n Silvio Capobianco},\n title = {On the Existence of a Finite Base for Complete Trace Equivalence over\n {BPA} with Interrupt},\n journal = {Bulletin of the {EATCS}},\n volume = {95},\n pages = {220--240},\n year = {2008},\n timestamp = {Tue, 20 Mar 2012 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/journals/eatcs/AcetoC08},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Capobianco, S."],"key":"DBLP:journals/eatcs/AcetoC08","id":"DBLP:journals/eatcs/AcetoC08","bibbaseid":"aceto-capobianco-ontheexistenceofafinitebaseforcompletetraceequivalenceoverbpawithinterrupt-2008","role":"author","urls":{},"downloads":0},"search_terms":["existence","finite","base","complete","trace","equivalence","over","bpa","interrupt","aceto","capobianco"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["Efw79Fxo6HR8p6xBt"]}