Search Results - Van Emden, M. H.

Refine Results
  1. 1
    Interval arithmetic: From principles to implementation

    Interval arithmetic: From principles to implementation by Hickey, T., Ju, Q., Van Emden, M. H.

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Constraint propagation as information maximization

    Constraint propagation as information maximization by Nait Abdallah, A., van Emden, M.H.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    The Semantics of Predicate Logic as a Programming Language

    The Semantics of Predicate Logic as a Programming Language by Van Emden, M. H., Kowalski, R. A.

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Matrix Code

    Matrix Code by van Emden, M.H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Contributions to the Theory of Logic Programming

    Contributions to the Theory of Logic Programming by Apt, Krzysztof R., van Emden, M. H.

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Egyptian multiplication and some of its ramifications

    Egyptian multiplication and some of its ramifications by van Emden, M H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Correct by construction

    Correct by construction by van Emden, M H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Beyond Structured Programming

    Beyond Structured Programming by van Emden, M H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Algorithmic power from declarative use of redundant constraints: Special Issue on Concepts and Topics in Constraint Programming Languages

    Algorithmic power from declarative use of redundant constraints: Special Issue on Concepts and Topics in Constraint Programming Languages by VAN EMDEN, M. H

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Logic programming beyond Prolog

    Logic programming beyond Prolog by van Emden, M H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Interval arithmetic

    Interval arithmetic by Hickey, T, Ju, Q, Emden, M H Van

    Published in Journal of the ACM
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    The lambda mechanism in lambda calculus and in other calculi

    The lambda mechanism in lambda calculus and in other calculi by van Emden, M H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Programming in logic without Prolog

    Programming in logic without Prolog by van Emden, M H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Programming with Verification Conditions

    Programming with Verification Conditions by Van Emden, M.H.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Matrix Code

    Matrix Code by van Emden, M H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Spreadsheets with incremental queries as a user interface for logic programming

    Spreadsheets with incremental queries as a user interface for logic programming by VAN EMDEN, M. H, OHKI, M, TAKEUCHI, A

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Compositional operational semantics for Prolog programs

    Compositional operational semantics for Prolog programs by CHENG, M. H. M, HORSPOOL, R. N, LEVY, M. R, VAN EMDEN, M. H

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Discovering Algorithms with Matrix Code

    Discovering Algorithms with Matrix Code by van Emden, M H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Contributions to the compositional semantics of first-order predicate logic

    Contributions to the compositional semantics of first-order predicate logic by Kelly, Philip, van Emden, M H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Integrating Interval Constraints into Logic Programming

    Integrating Interval Constraints into Logic Programming by van Emden, M H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: