Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444703262

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction to the Theory of Logic Programming

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70661-5 ◽

1987 ◽

pp. 277-318

Author(s):

J.C. Shepherdson

Keyword(s):

Logic Programming

Download Full-text

Copyright page

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70646-9 ◽

1987 ◽

pp. iv

Download Full-text

Parameter-Free Induction, The Matiyasevič Theorem and BΣ1

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70649-4 ◽

1987 ◽

pp. 1-8

Author(s):

Zofia Adamowicz

Keyword(s):

Free Induction

Download Full-text

Cumulative Logic Programs and Modelling

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70652-4 ◽

1987 ◽

pp. 83-93 ◽

Cited By ~ 3

Author(s):

Erwin Engeler

Keyword(s):

Logic Programs

Download Full-text

Model theory and representation type of algebras

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70659-7 ◽

1987 ◽

pp. 219-260 ◽

Cited By ~ 2

Author(s):

Mike Prest

Keyword(s):

Model Theory ◽

Representation Type

Download Full-text

A Complete Inference System for Regular Processes with Silent Moves

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70651-2 ◽

1987 ◽

pp. 21-81 ◽

Cited By ~ 11

Author(s):

J.A. Bergstra ◽

J.W. Klop

Keyword(s):

Inference System

Download Full-text

Edited by

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70645-7 ◽

1987 ◽

pp. iii

Download Full-text

Doing Without Determinacy-Aspects of Inner Models

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70664-0 ◽

1987 ◽

pp. 333-342

Author(s):

P.D. Welch

Keyword(s):

Inner Models

Download Full-text

The Origins of Forcing

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70656-1 ◽

1987 ◽

pp. 143-173 ◽

Cited By ~ 3

Author(s):

Gregory H. Moore

Download Full-text

The Craig Interpolation Lemma for Certain Modal Logics

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70658-5 ◽

1987 ◽

pp. 209-218 ◽

Cited By ~ 1

Author(s):

Jan Plaza

Keyword(s):

Modal Logics ◽

Craig Interpolation ◽

Craig Interpolation Lemma

Download Full-text

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Introduction to the Theory of Logic Programming

Copyright page

Parameter-Free Induction, The Matiyasevič Theorem and BΣ1

Cumulative Logic Programs and Modelling

Model theory and representation type of algebras

A Complete Inference System for Regular Processes with Silent Moves

Edited by

Doing Without Determinacy-Aspects of Inner Models

The Origins of Forcing

The Craig Interpolation Lemma for Certain Modal Logics

Logic Colloquium '86, Proceedings of the Colloquium held in Hull - Studies in Logic and the Foundations of Mathematics
Latest Publications