Regularity of BPA-systems is decidable

S. Mauw, H. Mulder

    Onderzoeksoutput: Boek/rapportRapportAcademic

    13 Citaten (Scopus)
    127 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's14
    StatusGepubliceerd - 1994

    Publicatie series

    NaamComputing science notes
    Volume9427

    Citeer dit