Mostra 1 - 14 risultati di 14 ricerca 'Computer Laboratory‚ University of Cambridge', tempo di risposta: 0,50s Raffina i risultati
  1. 1
    Hardware Verification using Higher−Order Logic

    Hardware Verification using Higher−Order Logic di Camilleri, A, Gordon, M, Melham, T

    Pubblicazione 1986
    “...Computer Laboratory‚ University of Cambridge...”
    Report
  2. 2
    Semantic optimization of OQL queries

    Semantic optimization of OQL queries di Trigoni, N

    Pubblicazione 2001
    “...University of Cambridge‚ Computer Laboratory...”
    Tesi
  3. 3
    The HOL pred_sets Library

    The HOL pred_sets Library di Melham, T

    Pubblicazione 1992
    “...Computer Laboratory‚ University of Cambridge...”
    Record
  4. 4
    The HOL sets Library

    The HOL sets Library di Melham, T

    Pubblicazione 1991
    “...Computer Laboratory‚ University of Cambridge...”
    Record
  5. 5
    The HOL string Library

    The HOL string Library di Melham, T

    Pubblicazione 1991
    “...Computer Laboratory‚ University of Cambridge...”
    Record
  6. 6
    Using Recursive Types to Reason about Hardware in Higher Order Logic

    Using Recursive Types to Reason about Hardware in Higher Order Logic di Melham, T

    Pubblicazione 1988
    “...Computer Laboratory‚ University of Cambridge...”
    Report
  7. 7
    The HOL finite_sets Library

    The HOL finite_sets Library di Melham, T

    Pubblicazione 1992
    “...Computer Laboratory‚ University of Cambridge...”
    Record
  8. 8
    A Mechanized Theory of the π−calculus in HOL

    A Mechanized Theory of the π−calculus in HOL di Melham, T

    Pubblicazione 1992
    “...Computer Laboratory‚ University of Cambridge...”
    Report
  9. 9
    Towards a Formal Type System for ODMG OQL

    Towards a Formal Type System for ODMG OQL di Bierman, G, Trigoni, N

    Pubblicazione 2000
    “...University of Cambridge‚ Computer Laboratory...”
    Report
  10. 10
    Shallow Processing and Automatic Summarising: a First Study

    Shallow Processing and Automatic Summarising: a First Study di Pulman, S, Gladwin, P, Jones, K

    Pubblicazione 1991
    “...Computer Laboratory‚ University of Cambridge...”
    Report
  11. 11
    Reasoning with Inductively Defined Relations in the HOL Theorem Prover

    Reasoning with Inductively Defined Relations in the HOL Theorem Prover di Camilleri, J, Melham, T

    Pubblicazione 1992
    “...Computer Laboratory‚ University of Cambridge...”
    Report
  12. 12
    Abstraction Mechanisms for Hardware Verification

    Abstraction Mechanisms for Hardware Verification di Melham, T

    Pubblicazione 1987
    “...Computer Laboratory‚ University of Cambridge...”
    Report
  13. 13
    Automating Recursive Type Definitions in Higher Order Logic

    Automating Recursive Type Definitions in Higher Order Logic di Melham, T

    Pubblicazione 1988
    “...Computer Laboratory‚ University of Cambridge...”
    Report
  14. 14
    Symap user's reference manual /

    Symap user's reference manual / di 286054 Dougenik, James A., Sheehan, David E.

    Pubblicazione 1975
    “...Cambridge, Mass : Laboratory for Computer Graphics and Spatial Analysis , Harvard University ...”

Strumenti per la ricerca: