Integration of object-oriented and logic programming

    Project: Research project

    Project Details

    Description

    Integration of logic, object oriented and functional programming.
    StatusFinished
    Effective start/end date1/01/9331/12/97

    Research Output

    • 6 Book/Film/Article review
    • 4 Article

    Review of the book Logical Reasoning with Diagrams, G. Allwein & J. Barwise, 1997

    de Swart, H. C. M., 1997, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 870.03002

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Review of the book Towards a Model Theory of Diagrams, E. Hammer & N. Danner, 1997

    de Swart, H. C. M., 1997, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 860.03036

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Review of the book What is ceteris paribus preference?, S.O. Hansson, 1997

    de Swart, H. C. M., 1997, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 859.03002

    Research output: Contribution to journalBook/Film/Article reviewOther research output