default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fuin/fuin14.bht:"
download as .bib file
@article{DBLP:journals/fuin/AptB91,
author = {Krzysztof R. Apt and
Howard A. Blair},
title = {Arithmetic classification of perfect models of stratified programs},
journal = {Fundam. Informaticae},
volume = {14},
number = {3},
pages = {339--343},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AptB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BalanescuG91,
author = {Tudor Balanescu and
Marian Gheorghe},
title = {A note on PF(k) - parsable languages},
journal = {Fundam. Informaticae},
volume = {14},
number = {3},
pages = {283--286},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BalanescuG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Baratella91,
author = {Stefano Baratella},
title = {Models of Clark's completion for some classes of logic programs},
journal = {Fundam. Informaticae},
volume = {14},
number = {3},
pages = {323--337},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Baratella91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Barua91,
author = {Rana Barua},
title = {On generalized automata},
journal = {Fundam. Informaticae},
volume = {14},
number = {3},
pages = {313--322},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Barua91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BeckerS91,
author = {Bernd Becker and
Uwe Sparmann},
title = {A uniform test approach for RCC-adders},
journal = {Fundam. Informaticae},
volume = {14},
number = {2},
pages = {185--219},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BeckerS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Blikle91,
author = {Andrzej Blikle},
title = {Three-valued predicates for software specification and validation},
journal = {Fundam. Informaticae},
volume = {14},
number = {4},
pages = {387--410},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Blikle91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Comer91,
author = {Stephen D. Comer},
title = {An algebraic approach to the approximation of information},
journal = {Fundam. Informaticae},
volume = {14},
number = {4},
pages = {495--502},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Comer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DarondeauD91,
author = {Philippe Darondeau and
Pierpaolo Degano},
title = {About semantic action refinement},
journal = {Fundam. Informaticae},
volume = {14},
number = {2},
pages = {221--234},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DarondeauD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HoodgeboomR91,
author = {Hendrik Jan Hoogeboom and
Grzegorz Rozenberg},
title = {Diamond properties of elementary net systems},
journal = {Fundam. Informaticae},
volume = {14},
number = {3},
pages = {287--300},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HoodgeboomR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JankowskiM91,
author = {Andrzej Jankowski and
Zbigniew Michalewicz},
title = {Closed sets of Boolean terms in relational databases},
journal = {Fundam. Informaticae},
volume = {14},
number = {3},
pages = {367--385},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JankowskiM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kaminski91,
author = {Michael Kaminski},
title = {Embedding a default system into nonmonotonic logics},
journal = {Fundam. Informaticae},
volume = {14},
number = {3},
pages = {345--353},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Kaminski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KeesmaatKR91,
author = {N. W. Keesmaat and
H. C. M. Kleijn and
Grzegorz Rozenberg},
title = {Vector controlled concurrent systems, part {II:} comparisons},
journal = {Fundam. Informaticae},
volume = {14},
number = {1},
pages = {1--38},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KeesmaatKR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KonikowskaTB91,
author = {Beata Konikowska and
Andrzej Tarlecki and
Andrzej Blikle},
title = {A three-valued logic for software specification and validation},
journal = {Fundam. Informaticae},
volume = {14},
number = {4},
pages = {411--453},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KonikowskaTB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Korczynski91,
author = {Waldemar Korczynski},
title = {An axiomatic characterization of a class of Petri Nets},
journal = {Fundam. Informaticae},
volume = {14},
number = {4},
pages = {477--491},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Korczynski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Koutny91,
author = {Maciej Koutny},
title = {Axiom system induced by CTL* Logic},
journal = {Fundam. Informaticae},
volume = {14},
number = {2},
pages = {235--253},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Koutny91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KrogerM91,
author = {Fred Kr{\"{o}}ger and
Stephan Merz},
title = {Temporal logic and recursion},
journal = {Fundam. Informaticae},
volume = {14},
number = {2},
pages = {261--281},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KrogerM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LoogenG91,
author = {Rita Loogen and
Ursula Goltz},
title = {Modelling nondeterministic concurrent processes with event structures},
journal = {Fundam. Informaticae},
volume = {14},
number = {1},
pages = {39--74},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LoogenG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Maggiolo-SchettiniPW91,
author = {Andrea Maggiolo{-}Schettini and
G. Michele Pinna and
J{\'{o}}zef Winkowski},
title = {A compositional semantics for unmarked predicate/transition nets},
journal = {Fundam. Informaticae},
volume = {14},
number = {1},
pages = {109--128},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Maggiolo-SchettiniPW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Makinen91,
author = {Erkki M{\"{a}}kinen},
title = {A hierarchy of context-free derivations},
journal = {Fundam. Informaticae},
volume = {14},
number = {2},
pages = {255--259},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Makinen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NovotnyP91,
author = {Miroslav Novotn{\'{y}} and
Zdzislaw Pawlak},
title = {Algebraic theory of independence in information systems},
journal = {Fundam. Informaticae},
volume = {14},
number = {4},
pages = {454--476},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NovotnyP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Stachniak91,
author = {Zbigniew Stachniak},
title = {Minimization of resolution proof systems},
journal = {Fundam. Informaticae},
volume = {14},
number = {1},
pages = {129--146},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Stachniak91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Stepaniuk91,
author = {Jaroslaw Stepaniuk},
title = {Applications of finite models properties in approximation and algorithmic
logics},
journal = {Fundam. Informaticae},
volume = {14},
number = {1},
pages = {91--108},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Stepaniuk91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Stoeva91,
author = {Stefka Stoeva},
title = {On processing of fuzzy production systems},
journal = {Fundam. Informaticae},
volume = {14},
number = {3},
pages = {301--312},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Stoeva91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Truszczynski91,
author = {Miroslaw Truszczynski},
title = {Modal nonmonotonic logic with restricted application of the negation
as failure to prove rule},
journal = {Fundam. Informaticae},
volume = {14},
number = {3},
pages = {355--366},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Truszczynski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Vidyasankar91,
author = {K. Vidyasankar},
title = {Unified theory of database serializability},
journal = {Fundam. Informaticae},
volume = {14},
number = {2},
pages = {147--183},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Vidyasankar91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Wlaz91,
author = {Pawel Wlaz},
title = {On uniqueness of the Wulff shape for cellular automata},
journal = {Fundam. Informaticae},
volume = {14},
number = {1},
pages = {75--90},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Wlaz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-25 18:01 CET from data curated 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:
