Logic and Computation
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Cambridge University Press

9780521346320, 9780521395601, 9780511526602

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rewriting and Simplification

Logic and Computation ◽

10.1017/cbo9780511526602.010 ◽

1987 ◽

pp. 245-264

Download Full-text

Axioms and Inference Rules

Logic and Computation ◽

10.1017/cbo9780511526602.008 ◽

1987 ◽

pp. 181-208

Keyword(s):

Inference Rules

Download Full-text

Structural Induction

Logic and Computation ◽

10.1017/cbo9780511526602.005 ◽

1987 ◽

pp. 77-136

Keyword(s):

Structural Induction

Download Full-text

A Logic of Computable Functions

Logic and Computation ◽

10.1017/cbo9780511526602.004 ◽

1987 ◽

pp. 53-76

Keyword(s):

Computable Functions

Download Full-text

Survey and History of LCF

Logic and Computation ◽

10.1017/cbo9780511526602.002 ◽

1987 ◽

pp. 3-12

Keyword(s):

History Of

Download Full-text

Syntactic Operations for PPλ

Logic and Computation ◽

10.1017/cbo9780511526602.006 ◽

1987 ◽

pp. 139-162

Download Full-text

Bibliography

Logic and Computation ◽

10.1017/cbo9780511526602.012 ◽

1987 ◽

pp. 289-295

Download Full-text

Tactics and Tacticals

Logic and Computation ◽

10.1017/cbo9780511526602.009 ◽

1987 ◽

pp. 209-244 ◽

Cited By ~ 2

Download Full-text

Theory Structure

Logic and Computation ◽

10.1017/cbo9780511526602.007 ◽

1987 ◽

pp. 163-180

Keyword(s):

Theory Structure

Download Full-text

Formal Proof in First Order Logic

Logic and Computation ◽

10.1017/cbo9780511526602.003 ◽

1987 ◽

pp. 13-52

Keyword(s):

Formal Proof ◽

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text