Volume 14, Number 1, 1991
: On uniqueness of the Wulff shape for cellular automata.
: Applications of finite models properties in approximation and algorithmic logics.
Volume 14, Number 2, 1991
Volume 14, Number 3, 1991
: On processing of fuzzy production systems.
: Models of Clark's completion for some classes of logic programs.
: Modal nonmonotonic logic with restricted application of the negation as failure to prove rule.
Volume 14, Number 4, 1991
: Three-valued predicates for software specification and validation.
Stephen D. Comer
: An algebraic approach to the approximation of information.