Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,391,230 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.
2017
2017
Design Synthesis of Switched Flux Hybrid-Permanent Magnet Memory Machines
Hui Yang
,
Zi-Qiang Zhu
,
+4 authors
Yunkai Huang
IEEE transactions on energy conversion
2017
Corpus ID: 24320718
This paper develops a design methodology for switched flux (SF) hybrid permanent magnet memory machines (HPMMMs). The memorable…
Expand
2016
2016
A novel stator-consequent-pole memory machine
Hui Yang
,
Heyun Lin
,
S. Fang
,
Yunkai Huang
,
Z. Zhu
European Conference on Cognitive Ergonomics
2016
Corpus ID: 31257382
This paper proposes a novel stator-consequent-pole memory machine (SCPMM), in which the AlNiCo permanent magnets (PMs) with low…
Expand
2007
2007
Tinycals: Step by Step Tacticals
C. Coen
,
E. Tassi
,
Stefano Zacchiroli
UITP@FLoC
2007
Corpus ID: 17681353
Highly Cited
2004
Highly Cited
2004
On computing mobile agent routes for data fusion in distributed sensor networks
C. Wu
,
N. Rao
,
+4 authors
K. Chakrabarty
IEEE Transactions on Knowledge and Data…
2004
Corpus ID: 5098464
The problem of computing a route for a mobile agent that incrementally fuses the data as it visits the nodes in a distributed…
Expand
Highly Cited
2003
Highly Cited
2003
Fatigue life of fine-grain Al–Mg–Sc alloys produced by equal-channel angular pressing
A. Vinogradov
,
A. Washikita
,
K. Kitagawa
,
V. Kopylov
2003
Corpus ID: 54642246
1996
1996
LCF: A Lexicographic Binary Representation of the Rationals
Peter Kornerup
,
D. Matula
1996
Corpus ID: 60940294
A binary representation of the rationals derived from their continued fraction expansions is described and analysed. The concepts…
Expand
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
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
1982
1982
On using Edinburgh LCF to prove the correctness of a parsing algorithm
A. Cohn
,
R. Milner
1982
Corpus ID: 59757942
1980
1980
An Experiment with "Edinburgh LCF"
J. Leszczylowski
CADE
1980
Corpus ID: 43873242
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