Retractions in comparing Prolog semantics

A. Bruin, de, E.P. Vink, de

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

    Original languageEnglish
    Title of host publicationMathematical Foundations of Computer Science (Proceedings 15th Symposium, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31,1990)
    EditorsB. Rovan
    PublisherSpringer
    Pages180-186
    ISBN (Print)3-540-52953-5
    Publication statusPublished - 1990

    Publication series

    NameLecture Notes in Computer Science
    Volume452
    ISSN (Print)0302-9743

    Cite this

    Bruin, de, A., & Vink, de, E. P. (1990). Retractions in comparing Prolog semantics. In B. Rovan (Ed.), Mathematical Foundations of Computer Science (Proceedings 15th Symposium, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31,1990) (pp. 180-186). (Lecture Notes in Computer Science; Vol. 452). Springer.