default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 30
Volume 30, Numbers 1, April 1997
- William I. Gasarch, Mahendran Velauthapillai:
Asking Questions Versus Verifiability. 1-9 - Astrid Kiehn, Matthew Hennessy:
On the Decidability of Non-Interleaving Process Equivalences. 11-30 - Klaus Madlener, Friedrich Otto:
Some Undecidability Results for Finitely Generated Thue Congruences on aTwo-Letter Alphabet. 31-44 - Gheorghe Paun:
Controlled H Systems and Chomsky Hierarchy. 45-57 - Nicolas Peltier:
Tree Automata and Automated Model Building. 59-81 - Boris A. Trakhtenbrot:
On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity. 83-95 - Józef Winkowski:
A Representation of Processes of Petri Nets by Matrices. 97-107 - Yan Zhang, Norman Y. Foo:
Deriving Invariants and Constraints from Action Theories. 109-123
Volume 30, Numbers 2, May 1997
- Serban A. Basarab:
Directions and Foldings on Generalized Trees. 125-149 - Nicholas V. Findler:
Some Techniques of Reducing the Dangers of Combinatiorial Explosion in Automatic Knowledge Acquisition. 151-160 - Lucian Ilie
:
On the Computational Complexity of Marcus Contextual Languages. 161-167 - Maciej Kandulski:
On Generalized Ajdukiewicz and Lambek Calculi and Grammars. 169-181 - Erkki Mäkinen, Ferucio Laurentiu Tiplea:
Pattern Ambiguities for Pure Context-Free Grammars. 183-191 - Mercè Llabrés, Francesc Rosselló:
Double-Pushout Hypergraph Rewriting Using Total Conformisms. 193-226
Volume 30, Numbers 3/4, June 1997
- Peter Clark, Cao Feng, Stan Matwin, Ko Fung:
Improving Image Classification by Combining Statistical, Case-Based and Model Based Prediction Methods. 227-240 - Marek J. Druzdzel:
Five Useful Properties of Probabilistic Knowledge Representations From the Point of View of Intelligent Systems. 241-254 - Jerzy W. Grzymala-Busse:
Classification of Unseen Examples Under Uncertainty. 255-267 - Gregory E. Kersten, Stan Szpakowicz:
Formal Account of Sequential Decision-Making in a Co-Operative Setting. 269-281 - Ryszard S. Michalski:
Seeking Knowledge in the Deluge of Facts. 283-297 - Adam Mrózek, Leszek Plonka:
Knowledge Representation in Fuzzy and Rough Controllers. 299-311 - Zbigniew W. Ras, Sucheta Joshi:
Query Approximate Answering System for an Incomplete DKBS. 313-324 - Marek Rusinkiewicz, Mauro Bregolin:
Transactional Workflows in Distributed Systems. 325-344 - Andrzej Skowron, Lech Polkowski:
Decision Algorithms: A Survey of Rough Set - Theoretic Methods. 345-358 - Slawomir T. Wierzchon, Mieczyslaw A. Klopotek, Maciej Michalewicz:
Reasoning and Facts Explanation in Valuation Based Systems. 359-371 - Wojciech Ziarko, Ning Shan:
Machine Learning Through Data Classification and Reduction. 373-382 - Jan M. Zytkow, Robert Zembowicz:
Contigency Tables as the Foundation for Concepts, Concept Hierarchies and Rules: The 49er System Approach. 383-399
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-12-04 22:09 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:
