Fundamenta Informaticae, Volume 14

Volume 14, Number 1, 1991

N. W. Keesmaat, H. C. M. Kleijn, Grzegorz Rozenberg: Vector controlled concurrent systems, part II: comparisons. 1-38 BibTeX
Rita Loogen, Ursula Goltz: Modelling nondeterministic concurrent processes with event structures. 39-74 BibTeX
Pawel Wlaz: On uniqueness of the Wulff shape for cellular automata. 75-90 BibTeX
Jaroslaw Stepaniuk: Applications of finite models properties in approximation and algorithmic logics. 91-108 BibTeX
Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski: A compositional semantics for unmarked predicate/transition nets. 109-128 BibTeX
Zbigniew Stachniak: Minimization of resolution proof systems. 129-146 BibTeX

K. Vidyasankar: Unified theory of database serializability. 147-183 BibTeX
Bernd Becker, Uwe Sparmann: A uniform test approach for RCC-adders. 185-219 BibTeX
Philippe Darondeau, Pierpaolo Degano: About semantic action refinement. 221-234 BibTeX
Maciej Koutny: Axiom system induced by CTL* Logic. 235-253 BibTeX
Erkki Mäkinen: A hierarchy of context-free derivations. 255-259 BibTeX
Fred Kröger, Stephan Merz: Temporal logic and recursion. 261-281 BibTeX

Tudor Balanescu, Marian Gheorghe: A note on PF(k) - parsable languages. 283-286 BibTeX
Hendrik Jan Hoogeboom, Grzegorz Rozenberg: Diamond properties of elementary net systems. 287-300 BibTeX
Stefka Stoeva: On processing of fuzzy production systems. 301-312 BibTeX
Rana Barua: On generalized automata. 313-322 BibTeX
Stefano Baratella: Models of Clark's completion for some classes of logic programs. 323-337 BibTeX
Krzysztof R. Apt, Howard A. Blair: Arithmetic classification of perfect models of stratified programs. 339-343 BibTeX
Michael Kaminski: Embedding a default system into nonmonotonic logics. 345-353 BibTeX
Miroslaw Truszczynski: Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. 355-366 BibTeX
Andrzej Jankowski, Zbigniew Michalewicz: Closed sets of Boolean terms in relational databases. 367-385 BibTeX

Andrzej Blikle: Three-valued predicates for software specification and validation. 387-410 BibTeX
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle: A three-valued logic for software specification and validation. 411-453 BibTeX
Miroslav Novotný, Zdzislaw Pawlak: Algebraic theory of independence in information systems. 454-476 BibTeX
Waldemar Korczynski: An axiomatic characterization of a class of Petri Nets. 477-491 BibTeX
Stephen D. Comer: An algebraic approach to the approximation of information. 495-502 BibTeX