CORE
COnnecting
REpositories

    1,721,040 research outputs found

    Prolog Tree Algebras. A formal specification of Prolog

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Archivio della Ricerca - Università di Pisa

    A Mathematical Definition of Full Prolog

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Archivio della Ricerca - Università di Pisa

    WAM Algebras---A Mathematical Study of Implementation. Part II

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Preliminary version: Technical Report CSE-TR-88-91, Computer Science and Engineering Division, Department of Electrical Engineering and Computer Science, University of Michigan/Ann Arbor, April 1991, pp.21
    Archivio della Ricerca - Università di Pisa

    An Analysis of Prolog Database Views and Their Uniform Implementation

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Prolog. Paris Papers--2. ISO/IEC JTC1 SC22 WG17 Prolog Standardization Repor
    Archivio della Ricerca - Università di Pisa

    From Prolog Algebras towards WAM---A Mathematical Study of Implementation

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Archivio della Ricerca - Università di Pisa

    The Mathematics of Set Predicates in Prolog

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Archivio della Ricerca - Università di Pisa

    The WAM - Definition and Compiler Correctness

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Archivio della Ricerca - Università di Pisa

    Occam: Specification and Compiler Correctness. Part I: Simple Mathematical Interpreters

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Archivio della Ricerca - Università di Pisa

    The Bakery Algorithm: Yet Another Specification and Verification

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Archivio della Ricerca - Università di Pisa

    Towards A Mathematical Specification of the APE100 Architecture: the APESE Model

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Archivio della Ricerca - Università di Pisa
    • …
    corecore