default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 14
Volume 14, Number 1, 1991
- N. W. Keesmaat, H. C. M. Kleijn, Grzegorz Rozenberg:
Vector controlled concurrent systems, part II: comparisons. Fundam. Informaticae 14(1): 1-38 (1991) - Rita Loogen, Ursula Goltz:
Modelling nondeterministic concurrent processes with event structures. Fundam. Informaticae 14(1): 39-74 (1991) - Pawel Wlaz:
On uniqueness of the Wulff shape for cellular automata. Fundam. Informaticae 14(1): 75-90 (1991) - Jaroslaw Stepaniuk:
Applications of finite models properties in approximation and algorithmic logics. Fundam. Informaticae 14(1): 91-108 (1991) - Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski:
A compositional semantics for unmarked predicate/transition nets. Fundam. Informaticae 14(1): 109-128 (1991) - Zbigniew Stachniak:
Minimization of resolution proof systems. Fundam. Informaticae 14(1): 129-146 (1991)
Volume 14, Number 2, 1991
- K. Vidyasankar:
Unified theory of database serializability. Fundam. Informaticae 14(2): 147-183 (1991) - Bernd Becker, Uwe Sparmann:
A uniform test approach for RCC-adders. Fundam. Informaticae 14(2): 185-219 (1991) - Philippe Darondeau, Pierpaolo Degano:
About semantic action refinement. Fundam. Informaticae 14(2): 221-234 (1991) - Maciej Koutny:
Axiom system induced by CTL* Logic. Fundam. Informaticae 14(2): 235-253 (1991) - Erkki Mäkinen:
A hierarchy of context-free derivations. Fundam. Informaticae 14(2): 255-259 (1991) - Fred Kröger, Stephan Merz:
Temporal logic and recursion. Fundam. Informaticae 14(2): 261-281 (1991)
Volume 14, Number 3, 1991
- Tudor Balanescu, Marian Gheorghe:
A note on PF(k) - parsable languages. Fundam. Informaticae 14(3): 283-286 (1991) - Hendrik Jan Hoogeboom, Grzegorz Rozenberg:
Diamond properties of elementary net systems. Fundam. Informaticae 14(3): 287-300 (1991) - Stefka Stoeva:
On processing of fuzzy production systems. Fundam. Informaticae 14(3): 301-312 (1991) - Rana Barua:
On generalized automata. Fundam. Informaticae 14(3): 313-322 (1991) - Stefano Baratella:
Models of Clark's completion for some classes of logic programs. Fundam. Informaticae 14(3): 323-337 (1991) - Krzysztof R. Apt, Howard A. Blair:
Arithmetic classification of perfect models of stratified programs. Fundam. Informaticae 14(3): 339-343 (1991) - Michael Kaminski:
Embedding a default system into nonmonotonic logics. Fundam. Informaticae 14(3): 345-353 (1991) - Miroslaw Truszczynski:
Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. Fundam. Informaticae 14(3): 355-366 (1991) - Andrzej Jankowski, Zbigniew Michalewicz:
Closed sets of Boolean terms in relational databases. Fundam. Informaticae 14(3): 367-385 (1991)
Volume 14, Number 4, 1991
- Andrzej Blikle:
Three-valued predicates for software specification and validation. Fundam. Informaticae 14(4): 387-410 (1991) - Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle:
A three-valued logic for software specification and validation. Fundam. Informaticae 14(4): 411-453 (1991) - Miroslav Novotný, Zdzislaw Pawlak:
Algebraic theory of independence in information systems. Fundam. Informaticae 14(4): 454-476 (1991) - Waldemar Korczynski:
An axiomatic characterization of a class of Petri Nets. Fundam. Informaticae 14(4): 477-491 (1991) - Stephen D. Comer:
An algebraic approach to the approximation of information. Fundam. Informaticae 14(4): 495-502 (1991)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 19:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
