Automating Recursive Type Definitions in Higher Order Logic

Automating Recursive Type Definitions in Higher Order Logic

Diğer sürümleri göster (1)

Detaylı Bibliyografya
Yazar:	Melham, T
Materyal Türü:	Report
Baskı/Yayın Bilgisi:	Computer Laboratory‚ University of Cambridge 1988

Benzer Materyaller

Automating Recursive Type Definitions in Higher Order Logic
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1989)

Using Recursive Types to Reason about Hardware in Higher Order Logic
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1988)

Using Recursive Types to Reason about Hardware in Higher Order Logic
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1988)

Translating Dependent Type Theory into Higher Order Logic
Yazar:: Jacobs, B, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

Higher Order Logic and Hardware Verification
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1993)

Some Research Issues in Higher Order Logic Theorem Proving
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1996)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1989)

Hardware Verification using Higher−Order Logic
Yazar:: Camilleri, A, ve diğerleri
Baskı/Yayın Bilgisi: (1986)

Hardware Verification using Higher−Order Logic
Yazar:: Camilleri, A, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

Linearity in higher-order recursion schemes
Yazar:: Clairambault, P, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Concrete categories and higher-order recursion
Yazar:: Matache, C, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Semantics of Higher-Order Recursion Schemes
Yazar:: Jiri Adamek, ve diğerleri
Baskı/Yayın Bilgisi: (2011-04-01)

Rank 2 Type Systems and Recursive Definitions*
Yazar:: Jim, Trevor
Baskı/Yayın Bilgisi: (2023)

Rank 2 Type Systems and Recursive Definitions
Yazar:: Jim, Trevor
Baskı/Yayın Bilgisi: (2023)

Concrete sheaf models of higher-order recursion
Yazar:: Matache, C
Baskı/Yayın Bilgisi: (2022)

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
Yazar:: Angelos Charalambidis, ve diğerleri
Baskı/Yayın Bilgisi: (2015-09-01)

Logic, sets, and recursion /
Yazar:: 332434 Causey, Robert L.
Baskı/Yayın Bilgisi: (2006)

On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Yazar:: Naoki Kobayashi, ve diğerleri
Baskı/Yayın Bilgisi: (2020-10-01)

IO vs OI in Higher-Order Recursion Schemes
Yazar:: Axel Haddad
Baskı/Yayın Bilgisi: (2012-02-01)

Positive Inductive-Recursive Definitions
Yazar:: Neil Ghani, ve diğerleri
Baskı/Yayın Bilgisi: (2015-03-01)

Recursive Definitions of Monadic Functions
Yazar:: Alexander Krauss
Baskı/Yayın Bilgisi: (2010-12-01)

Recursive resolution for modal logic
Yazar:: Kazakov, Y
Baskı/Yayın Bilgisi: (2002)

Recursion Schemes and Logical Reflection
Yazar:: Broadbent, C, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Recursion Schemes and Logical Reflection
Yazar:: Broadbent, C, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

The HOL Logic Extended with Quantification over Type Variables
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1993)

The HOL Logic Extended with Quantification over Type Variables
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1994)

Recursion and the Definition of Universal Prosodic Categories
Yazar:: Lisa Lai-Shen Cheng, ve diğerleri
Baskı/Yayın Bilgisi: (2021-07-01)

On the Recursive Definition of a Format for Communication
Yazar:: Leonid N. Sumarokov
Baskı/Yayın Bilgisi: (1971-06-01)

On Global Model Checking Trees Generated by Higher−Order Recursion Schemes
Yazar:: Broadbent, C, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

A type system equivalent to the modal Mu-calculus model checking of higher-order recursion schemes
Yazar:: Kobayashi, N, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Semantics of Separation−logic Typing and Higher−order Frame Rules
Yazar:: Birkedal, L, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

A Concrete Approach to Abstract Recursive Definitions
Yazar:: Wand, Mitchell
Baskı/Yayın Bilgisi: (2004)

Recursive Decomposition Ordering and Multiset Orderings
Yazar:: Jouannaud, Jean-Pierre, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

On an interpretation of safe recursion in light affine logic
Yazar:: Murawski, A, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Recursion Schemes, the MSO Logic, and the U quantifier
Yazar:: Paweł Parys
Baskı/Yayın Bilgisi: (2020-02-01)

DECISION PROBLEMS AND RECURSIVENESS IN FORMAL LOGIC SYSTEMS
Yazar:: Iveth Martínez, ve diğerleri
Baskı/Yayın Bilgisi: (2017-04-01)

Learning higher-order logic programs
Yazar:: Cropper, A, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Henkin on Nominalism and Higher-Order Logic
Yazar:: Diego Pinheiro Fernandes
Baskı/Yayın Bilgisi: (2022-08-01)

Light Logics and Higher-Order Processes
Yazar:: Ugo Dal Lago, ve diğerleri
Baskı/Yayın Bilgisi: (2010-11-01)

Contributions to higher recursion theory
Yazar:: Marcus, Sherry Elizabeth, 1966-
Baskı/Yayın Bilgisi: (2005)