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
Rita Loogen
,
Ursula Goltz
: Modelling nondeterministic concurrent processes with event structures. 39-74
Pawel Wlaz
: On uniqueness of the Wulff shape for cellular automata. 75-90
Jaroslaw Stepaniuk
: Applications of finite models properties in approximation and algorithmic logics. 91-108
Andrea Maggiolo-Schettini
,
G. Michele Pinna
,
Józef Winkowski
: A compositional semantics for unmarked predicate/transition nets. 109-128
Zbigniew Stachniak
: Minimization of resolution proof systems. 129-146
Volume 14, Number 2, 1991
K. Vidyasankar
: Unified theory of database serializability. 147-183
Bernd Becker
,
Uwe Sparmann
: A uniform test approach for RCC-adders. 185-219
Philippe Darondeau
,
Pierpaolo Degano
: About semantic action refinement. 221-234
Maciej Koutny
: Axiom system induced by CTL* Logic. 235-253
Erkki Mäkinen
: A hierarchy of context-free derivations. 255-259
Fred Kröger
,
Stephan Merz
: Temporal logic and recursion. 261-281
Volume 14, Number 3, 1991
Tudor Balanescu
,
Marian Gheorghe
: A note on PF(k) - parsable languages. 283-286
Hendrik Jan Hoogeboom
,
Grzegorz Rozenberg
: Diamond properties of elementary net systems. 287-300
Stefka Stoeva
: On processing of fuzzy production systems. 301-312
Rana Barua
: On generalized automata. 313-322
Stefano Baratella
: Models of Clark's completion for some classes of logic programs. 323-337
Krzysztof R. Apt
,
Howard A. Blair
: Arithmetic classification of perfect models of stratified programs. 339-343
Michael Kaminski
: Embedding a default system into nonmonotonic logics. 345-353
Miroslaw Truszczynski
: Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. 355-366
Andrzej Jankowski
,
Zbigniew Michalewicz
: Closed sets of Boolean terms in relational databases. 367-385
Volume 14, Number 4, 1991
Andrzej Blikle
: Three-valued predicates for software specification and validation. 387-410
Beata Konikowska
,
Andrzej Tarlecki
,
Andrzej Blikle
: A three-valued logic for software specification and validation. 411-453
Miroslav Novotný
,
Zdzislaw Pawlak
: Algebraic theory of independence in information systems. 454-476
Waldemar Korczynski
: An axiomatic characterization of a class of Petri Nets. 477-491
Stephen D. Comer
: An algebraic approach to the approximation of information. 495-502
Last update Sat May 18 20:26:36 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page