A complete equational axiomatization for BPAdelta-eta with prefix iteration

W.J. Fokkink, H. Zantema

    Research output: Book/ReportReportPopular

    28 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages16
    Publication statusPublished - 1995

    Publication series

    NameUniversiteit Utrecht. UU-CS, Department of Computer Science
    Volume9510
    ISSN (Print)0924-3275

    Cite this