Mutually Recursive Algebraic Domain Equation

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of VDM'88
    PublisherSpringer Verlag
    Publication date1988
    Publication statusPublished - 1988
    EventProceedings of VDM'88 -
    Duration: 1 Jan 1988 → …

    Conference

    ConferenceProceedings of VDM'88
    Period01/01/1988 → …

    Cite this

    Haxthausen, A. E. (1988). Mutually Recursive Algebraic Domain Equation. In Proceedings of VDM'88 Springer Verlag.