Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 31
Volume 31, Numbers 1, July 1997
- Wojciech Buszkowski
, Miroslawa Kolowska-Gawiejnowics:
Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models). 1-12 - Javier Esparza:
Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes. 13-25 - Jerzy W. Grzymala-Busse:
A New Version of the Rule Induction System LERS. 27-39 - Takeshi Koshiba:
On a Hierarchy of Slender Languages Based on Control Sets. 41-47 - Ryszard S. Michalski, Ibrahim F. Imam:
On Learning Decision Structures. 49-64 - Anna B. Romanowska:
From Dissemilattices to Snack Algebras. 65-77 - Shie-Jue Lee, Wei-Jer Lin:
Formal Verification and Diagnosis of CombinationalCircuit Designs with Propositional Logic. 79-105
Volume 31, Numbers 2, August 1997
- Kazimir Majorinc:
Extension Rule for Non-Clausal Propositional Calculus. 107-116 - Carlos Martín-Vide:
Natural Computation for Natural Language. 117-124 - Mihhail Matskin, Henryk Jan Komorowski:
Partial Structural Synthesis of Programs. 125-144 - Mikhail Moshkov, Igor Chikalov:
Bounds on Average Weighted Depth of Decision Trees. 145-156 - Mikhail Moshkov:
Unimprovable Upper Bounds on Time Complexity of Decision Trees. 157-184 - Andrei Paun:
Controlled H Systems of Small Radius. 185-193 - Dimiter Skordev:
An Abstract Approach to Some Loop Detection Problems. 195-212
Volume 31, Numbers 3/4, September 1997
- Mohua Banerjee:
Rough Sets and 3-Valued Lukasiewicz Logic. 213-220 - Gerhard Brewka, Georg Gottlob:
Well-Founded Semantics for Default Logic. 221-236 - Hans-Dieter Burkhard:
Defining BDI with Abstract Languages. 237-252 - Olaf Chitil:
The c-Semantics: A Comprehensive Semantics for Functional Programs. 253-294 - Ana Deneva, Dimiter Vakarelov:
Modal Logics for Local and Global Similarity Relations. 295-304 - Andrea Maggiolo-Schettini, Gionata Matteucci:
Processes in Cause-Effect Systems. 305-335 - Andrea Maggiolo-Schettini, Józef Winkowski:
A Partial Order Representation of Processes of Transforming Graphs. 337-355 - Ugo Montanari, Gioia Ristori:
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems. 357-377 - Jean-François Rey:
The Block Product of Categories and Tilson's Division. 379-400 - Jean-François Rey:
The Kernel of a Relational Morphism of Categories. 401-423
a service of 
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-05-05 00:00 CEST 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:
