1

Journal of logic and computation

Eynsham, Oxford: Oxford Univ. Press, 1990-
1.1990/91 -
Journal
2

Journal of logic and computation

Eynsham, Oxford: Oxford Univ. Press, 1990-
1.1990/91 -
Electronic Journal
3

On the very weak 0-1 law for random graphs with orders

E-Article
4

Partial applicative theories and explicit substitutions

E-Article
5
6

Simultaneous replacement in normal programs

E-Article
7

Note on a lemma of Ladkin

E-Article
8

Modal logic and equality for process algebra

E-Article
9

Model checking multiagent systems

E-Article
10

OUP accepted manuscript

E-Article
11

OUP accepted manuscript

E-Article
12
13

Isolation, Infima and Diamond Embeddings

E-Article
14

Algorithmic Randomness of Closed Sets

E-Article
15

Unbounded Non-determinism in CSP

E-Article
16

Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates

E-Article
17

Automated Deduction with Shannon Graphs

E-Article
18
19
20

A Logic for Concepts and Similarity

E-Article