no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A context for belief revision: forward chaining-normal nonmonotomic rule systems
|
Marek, V.W. |
|
1994 |
67 |
1-3 |
p. 269-323 55 p. |
article |
2 |
A direct method for simulating partial recursive functions by Diophantine equations
|
Matiyasevich, Yuri |
|
1994 |
67 |
1-3 |
p. 325-348 24 p. |
article |
3 |
Author index volume 67 (1994)
|
|
|
1994 |
67 |
1-3 |
p. 349- 1 p. |
article |
4 |
Computing definite logic programs by partial instantiation
|
Kagan, Vadim |
|
1994 |
67 |
1-3 |
p. 161-182 22 p. |
article |
5 |
Editorial board
|
|
|
1994 |
67 |
1-3 |
p. ii- 1 p. |
article |
6 |
Linear logic as a logic of computations
|
Kanovich, Max I. |
|
1994 |
67 |
1-3 |
p. 183-212 30 p. |
article |
7 |
Linear logic with fixed resources
|
Archangelsky, Dmitry A. |
|
1994 |
67 |
1-3 |
p. 3-28 26 p. |
article |
8 |
Logic of proofs
|
Artëmov, Sergei |
|
1994 |
67 |
1-3 |
p. 29-59 31 p. |
article |
9 |
On speedable and levelable vector spaces
|
Bäuerle, Frank A. |
|
1994 |
67 |
1-3 |
p. 61-112 52 p. |
article |
10 |
Preface
|
Nerode, A. |
|
1994 |
67 |
1-3 |
p. 1- 1 p. |
article |
11 |
Recursive unary algebras and trees
|
Khoussainov, Bakhadyr |
|
1994 |
67 |
1-3 |
p. 213-268 56 p. |
article |
12 |
Structured theory presentations and logic representations
|
Harper, Robert |
|
1994 |
67 |
1-3 |
p. 113-160 48 p. |
article |