default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 63
Volume 63, Number 1, 2004
- Kimmo Fredriksson, Jorma Tarhio:
Efficient String Matching in Huffman Compressed Texts. 1-16 - Richard Holzer:
Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part I. 17-39 - Richard Holzer:
Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part II. 41-63 - Bozena Wozna:
ACTLS properties and Bounded Model Checking. 65-87 - Hsien-Chu Wu, Chin-Chen Chang:
Embedding Invisible Watermarks into Digital Images Based on Side-Match Vector Quantization. 89-106
Volume 63, Number 2-3, 2004
- Onn Shehory:
Coalition Formation: Towards Feasible Solutions. 107-124 - Danny Weyns, Tom Holvoet:
A Formal Model for Situated Multi-Agent Systems. 125-158 - Huib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer:
Rational Teams: Logical Aspects of Multi-Agent Systems. 159-183 - Wojciech Jamroga, Wiebe van der Hoek:
Agents that Know How to Play. 185-219 - Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek:
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. 221-240 - Antoni W. Mazurkiewicz:
Multilateral Ranking Negotiations. 241-258 - Hendrik Wietze de Haan, Wim H. Hesselink, Gerard R. Renardel de Lavalette:
Knowledge-Based Asynchronous Programming. 259-281 - Barbara Dunin-Keplicz, Rineke Verbrugge:
A Tuning Machine for Cooperative Problem Solving. 283-307
Volume 63, Number 4, 2004
- Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
A Timed Linda Language and its Denotational Semantics. 309-330 - Gianpiero Cattaneo, Davide Ciucci, Roberto Giuntini, Martin Konig:
Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras. 331-355 - Gianpiero Cattaneo, Davide Ciucci, Roberto Giuntini, Martin Konig:
Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures. 357-373 - Norbert Dojer:
Applying term rewriting to partial algebra theory. 375-384 - Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer:
Modeling and Verification of Reactive Systems using Rebeca. 385-410
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 2025-03-01 15:11 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:
