Automating Recursive Type Definitions in Higher Order Logic

Automating Recursive Type Definitions in Higher Order Logic

Бусад хувилбаруудыг харуулах (1)

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Melham, T
Формат:	Report
Хэвлэсэн:	Computer Laboratory‚ University of Cambridge 1988

Ижил төстэй зүйлс

Automating Recursive Type Definitions in Higher Order Logic
-н: Melham, T
Хэвлэсэн: (1989)

Using Recursive Types to Reason about Hardware in Higher Order Logic
-н: Melham, T
Хэвлэсэн: (1988)

Using Recursive Types to Reason about Hardware in Higher Order Logic
-н: Melham, T
Хэвлэсэн: (1988)

Translating Dependent Type Theory into Higher Order Logic
-н: Jacobs, B, зэрэг
Хэвлэсэн: (1993)

Higher Order Logic and Hardware Verification
-н: Melham, T
Хэвлэсэн: (1993)

Some Research Issues in Higher Order Logic Theorem Proving
-н: Melham, T
Хэвлэсэн: (1996)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
-н: Melham, T
Хэвлэсэн: (1989)

Hardware Verification using Higher−Order Logic
-н: Camilleri, A, зэрэг
Хэвлэсэн: (1986)

Hardware Verification using Higher−Order Logic
-н: Camilleri, A, зэрэг
Хэвлэсэн: (1987)

Linearity in higher-order recursion schemes
-н: Clairambault, P, зэрэг
Хэвлэсэн: (2017)

Concrete categories and higher-order recursion
-н: Matache, C, зэрэг
Хэвлэсэн: (2022)

Semantics of Higher-Order Recursion Schemes
-н: Jiri Adamek, зэрэг
Хэвлэсэн: (2011-04-01)

Rank 2 Type Systems and Recursive Definitions*
-н: Jim, Trevor
Хэвлэсэн: (2023)

Rank 2 Type Systems and Recursive Definitions
-н: Jim, Trevor
Хэвлэсэн: (2023)

Concrete sheaf models of higher-order recursion
-н: Matache, C
Хэвлэсэн: (2022)

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
-н: Angelos Charalambidis, зэрэг
Хэвлэсэн: (2015-09-01)

Logic, sets, and recursion /
-н: 332434 Causey, Robert L.
Хэвлэсэн: (2006)

On the Termination Problem for Probabilistic Higher-Order Recursive Programs
-н: Naoki Kobayashi, зэрэг
Хэвлэсэн: (2020-10-01)

IO vs OI in Higher-Order Recursion Schemes
-н: Axel Haddad
Хэвлэсэн: (2012-02-01)

Positive Inductive-Recursive Definitions
-н: Neil Ghani, зэрэг
Хэвлэсэн: (2015-03-01)

Recursive resolution for modal logic
-н: Kazakov, Y
Хэвлэсэн: (2002)

Recursion Schemes and Logical Reflection
-н: Broadbent, C, зэрэг
Хэвлэсэн: (2010)

Recursion Schemes and Logical Reflection
-н: Broadbent, C, зэрэг
Хэвлэсэн: (2010)

Recursion and the Definition of Universal Prosodic Categories
-н: Lisa Lai-Shen Cheng, зэрэг
Хэвлэсэн: (2021-07-01)

The HOL Logic Extended with Quantification over Type Variables
-н: Melham, T
Хэвлэсэн: (1993)

The HOL Logic Extended with Quantification over Type Variables
-н: Melham, T
Хэвлэсэн: (1994)

On Global Model Checking Trees Generated by Higher−Order Recursion Schemes
-н: Broadbent, C, зэрэг
Хэвлэсэн: (2009)

A type system equivalent to the modal Mu-calculus model checking of higher-order recursion schemes
-н: Kobayashi, N, зэрэг
Хэвлэсэн: (2009)

Semantics of Separation−logic Typing and Higher−order Frame Rules
-н: Birkedal, L, зэрэг
Хэвлэсэн: (2005)

A Concrete Approach to Abstract Recursive Definitions
-н: Wand, Mitchell
Хэвлэсэн: (2004)

Recursive Decomposition Ordering and Multiset Orderings
-н: Jouannaud, Jean-Pierre, зэрэг
Хэвлэсэн: (2023)

On an interpretation of safe recursion in light affine logic
-н: Murawski, A, зэрэг
Хэвлэсэн: (2004)

Recursion Schemes, the MSO Logic, and the U quantifier
-н: Paweł Parys
Хэвлэсэн: (2020-02-01)

DECISION PROBLEMS AND RECURSIVENESS IN FORMAL LOGIC SYSTEMS
-н: Iveth Martínez, зэрэг
Хэвлэсэн: (2017-04-01)

Contributions to higher recursion theory
-н: Marcus, Sherry Elizabeth, 1966-
Хэвлэсэн: (2005)

Learning higher-order logic programs
-н: Cropper, A, зэрэг
Хэвлэсэн: (2019)

Henkin on Nominalism and Higher-Order Logic
-н: Diego Pinheiro Fernandes
Хэвлэсэн: (2022-08-01)

Computer Modeling of Second-Order Recursive Digital Filters of the Automated Design Signaling System
-н: S.P. Novosyadly, зэрэг
Хэвлэсэн: (2018-02-01)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
-н: Sadrzadeh, M
Хэвлэсэн: (2003)

L-Recursion and a new Logic for Logarithmic Space
-н: Martin Grohe, зэрэг
Хэвлэсэн: (2013-03-01)