Automating Recursive Type Definitions in Higher Order Logic
Autor principal: | Melham, T |
---|---|
Formato: | Report |
Publicado em: |
Computer Laboratory‚ University of Cambridge
1988
|
Registros relacionados
-
Automating Recursive Type Definitions in Higher Order Logic
por: Melham, T
Publicado em: (1989) -
Using Recursive Types to Reason about Hardware in Higher Order Logic
por: Melham, T
Publicado em: (1988) -
Using Recursive Types to Reason about Hardware in Higher Order Logic
por: Melham, T
Publicado em: (1988) -
Translating Dependent Type Theory into Higher Order Logic
por: Jacobs, B, et al.
Publicado em: (1993) -
Higher Order Logic and Hardware Verification
por: Melham, T
Publicado em: (1993)