An omega-complete equational specification of interleaving

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelAutomata, Languages and Programming (Proceedings 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000)
    RedacteurenU. Montanari, J.D.P. Rolim, W. Welzl
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's729-743
    ISBN van geprinte versie3-540-67715-1
    StatusGepubliceerd - 2000

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume1853
    ISSN van geprinte versie0302-9743

    Citeer dit