Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,666,078 papers from all fields of science
Search
Sign In
Create Free Account
Logic for Computable Functions
Known as:
LCF
, LCF (theorem prover)
, LCF theorem prover
Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Abstract data type
HOL (proof assistant)
Isabelle
Logic of Computable Functions
Expand
Broader (1)
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Layered quantize-forward for the two-way relay channel
Hieu T. Do
,
T. Oechtering
,
M. Skoglund
IEEE International Symposium on Information…
2012
Corpus ID: 2547657
This paper proposes two new coding schemes for the discrete memoryless two-way relay channel. The main target is to show the…
Expand
2012
2012
A Mechanism-Based Model for LCF/HCF and TMF/HCF Life Prediction: Multiaxial Formulation, Finite-Element Implementation and Application to Cast Iron
M. Metzger
,
T. Seifert
2012
Corpus ID: 55537181
In this paper, the multiaxial formulation of a mechanism-based model for fatigue life prediction is presented which can be…
Expand
2008
2008
An Embedding of Cryptol in HOL-4
Guodong Li
,
Konrad Slind
2008
Corpus ID: 14463616
In this paper we explore a shallow embedding of Cryptol in HOL-4 by providing a way to import Cryptol programs into HOL-4 so as…
Expand
2007
2007
Logic Colloquium 2005: Recursion on the partial continuous functionals
H. Schwichtenberg
2007
Corpus ID: 5681750
We describe a constructive theory of computable functionals, based on the partial continuous functionals as their intendend…
Expand
2007
2007
FATIGUE LIFE PREDICTION OF THERMO-MECHANICALLY LOADED ENGINE COMPONENTS
Csaba Halászi
,
C. Gaier
,
H. Dannbauer
2007
Corpus ID: 149449298
INTRODUCTION Nowadays engine components are subjected to higher loads at elevated temperatures than before, due to the increasing…
Expand
Review
2006
Review
2006
Evaluation of Nonlinear Cumulative Damage Models for Assessing HCF / LCF Interactions in Multiaxial Loadings
M. Goodin
,
Dr. Alan Kallmeyer
,
Dr. Peter Kurath
2006
Corpus ID: 51401353
Past research has shown there is a nonlinear interaction effect between LCF (high damage) and HCF (low damage) cycles in many…
Expand
2005
2005
Packet-based scheduling algorithm for CIOQ switches with multiple traffic classes
Tsern-Huei Lee
,
Y. Kuo
Computer Communications
2005
Corpus ID: 9762910
1991
1991
Developing An Interface For HOL
Sara Kalvala
., International Workshop on the HOL Theorem…
1991
Corpus ID: 10783341
The HOL system is being increasingly used for a variety of theorem-proving and verification tasks, and by specialists an a…
Expand
1991
1991
Optimization of the Fatigue Properties of INCONEL Alloy 617
G. D. Smith
,
D. H. Yates
1991
Corpus ID: 56432187
Rigorous control of the annealing practice and certain alloying elements can directly influence key characteristics which aid in…
Expand
Highly Cited
1990
Highly Cited
1990
A Semi-Functional Implementation of a Higher-Order Logic Programming Language
Conal Elliott
,
F. Pfenning
1990
Corpus ID: 54154214
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE