Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 36
Volume 36, Number 1, September 1998
- Girish Bhat, Doron A. Peled:
Adding Partial Orders to Linear Temporal Logic. 1-21 - Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
:
General Domain Circumscription and its Effective Reductions. 23-55 - George Rahonis, Kai Salomaa:
On the Size of Stack and Synchronization Alphabets of Tree Automata. 57-69 - Józef Winkowski:
Processes of Contextual Nets and their Characteristics. 71-101
Volume 36, Numbers 2-3, November 1998
- Mohamed Amin:
Remarks on the Relationship Between Cooperating Distributed Grammar Systems and Lindenmayer Systems. 103-107 - Anastasia Analyti, Nicolas Spyratos, Panos Constantopoulos:
On the Semantics of a Semantic Network. 109-144 - Béatrice Bérard, Antoine Petit, Volker Diekert, Paul Gastin:
Characterization of the Expressive Power of Silent Transitions in Timed Automata. 145-182 - Jürgen Dassow, Gheorghe Paun:
Remarks on Operations Suggested by Mutations in Genomes. 183-200 - Agostino Dovier, Alberto Policriti, Gianfranco Rossi:
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. 201-234 - Cornelis A. Middelburg:
Truth of Duration Calculus Formulae in Timed Frames. 235-263 - Jaroslaw Stepaniuk:
Optimizations of Rough Set Model. 265-283 - Larissa Zhiltsova:
On Entropy and Optimal Coding Cost for Stochastic Language. 285-305
Volume 36, Number 4, December 1998
- Dima Burago, Michel de Rougemont:
On the Average-Case Complexity of the Graph Reliability Problem on Gaussian Distributions. 307-315 - Zbigniew J. Czech, Wojciech Mikanik:
Randomized PRAM Simulation. 317-336 - Jan Ostravsky:
Pregrammars Versus Submonoids. 337-343 - Wladyslaw Skarbek, Adam Pietrowcew, Radoslaw Sikora:
The Modified Oja-RLS Algorithm, Stochastic Convergence Analysis and Application for Image Compression. 345-365 - Sándor Vágvölgyi:
Simple and Minimal Ground Term Equation Systems. 367-413
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-04-18 20:20 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:
