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