Fundamenta 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
  

Last update Wed May 22 17:36:25 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page