default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 44
Volume 44, Number 1-2, September 2000
- Isto Aho:
Interactive Knapsacks. 1-23 - Martin Büchi, Emil Sekerinski:
A Foundation for Refining Concurrent Objects. 25-61 - Stanislaw Chrobot:
Sharing Variables in Distributed Memory. 63-81 - Erzsébet Csuhaj-Varjú, Victor Mitrana:
Dynamical Teams in Eco-Grammar Systems. 83-94 - Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj:
The PMA and Relativizing Minimal Change for Action Update. 95-131 - Benedetto Intrigila, Anna Rita Laurenzi:
Two Problems on Reduction Graphs in Lambda Calculus. 133-144 - Lyubomir Ivanov:
Platek Spaces. 145-181 - Lyubomir Ivanov:
Boldface Recursion on Platek Spaces. 183-208
Volume 44, Number 3, October 2000
- Nadia Busi, G. Michele Pinna:
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs. 209-244 - Pavel Martinek:
On a Construction of Context-free Grammars. 245-264 - Étienne Payet:
Thue Specifications, Infinite Graphs and Synchronized Product. 265-290 - Dominik Slezak:
Normalized Decision Functions and Measures for Inconsistent Decision Tables Analysis. 291-319
Volume 44, Number 4, November-December 2000
- Anastasia Analyti, Nicolas Spyratos, Panos Constantopoulos:
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance. 321-351 - Jürgen Dassow, Carlos Martín-Vide, Gheorghe Paun, Alfonso Rodríguez-Patón:
Conditional Concatenation. 353-372 - Stéphane Demri, Jaroslaw Stepaniuk:
Computational Complexity of Multimodal Logics Based on Rough Sets. 373-396 - Ágnes Kurucz, István Németi:
Representability of Pairing Relation Algebras Depends on your Ontology. 397-420
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-19 22:13 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:
