On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt

Aceto, Luca; Capobianco, Silvio; Ingolfsdottir, Anna (2008). On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. Bulletin of the EATCS, 95, 220−240.
ajakirjaartikkel
Aceto, Luca; Capobianco, Silvio; Ingolfsdottir, Anna
  • Inglise
Bulletin of the EATCS
0252-9742
95
2008
220240
Ilmunud
1.2. Teadusartiklid teistes rahvusvahelistes teadusajakirjades, millel on registreeritud kood, rahvusvaheline toimetus, rahvusvahelise kolleegiumiga eelretsenseerimine, rahvusvaheline levik ning kättesaadavus ja avatus kaastöödele

Seotud asutused

Lisainfo