Elementary algebraic specification of the rational complex numbers

J.A. Bergstra

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined/Unknown
    Title of host publicationGoguen Festschrift
    EditorsK. Futatsugi
    Place of PublicationBerlin
    PublisherSpringer
    Pages459-475
    Number of pages17
    Publication statusPublished - 2006

    Cite this