Logic for Computable Functions
GPTKB entity
Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:conference
|
| gptkbp:abbreviation |
gptkb:LCF
|
| gptkbp:field |
gptkb:logic
computer science |
| gptkbp:firstEvent |
gptkb:Edinburgh,_Scotland
|
| gptkbp:firstHeld |
1972
|
| gptkbp:focus |
gptkb:logic
theoretical computer science |
| gptkbp:foundedBy |
gptkb:Dana_Scott
|
| https://www.w3.org/2000/01/rdf-schema#label |
Logic for Computable Functions
|
| gptkbp:notableFor |
introduction of LCF theorem prover
|
| gptkbp:notableParticipant |
gptkb:Robin_Milner
gptkb:Gordon_Plotkin |
| gptkbp:relatedTo |
automated reasoning
domain theory theorem proving |
| gptkbp:bfsParent |
gptkb:LCF_theorem_prover
|
| gptkbp:bfsLayer |
6
|