Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 91
Volume 91, Number 1, 1991
- Aravind Srinivasan, C. Pandu Rangan:
Efficient Algorithms for the Minimum Weighted Dominating Clique Problem on Permutation Graphs. 1-21 - Peter Buneman, Achim Jung, Atsushi Ohori:
Using Powerdomains to Generalize Relational Databases. 23-55 - Karel Culík II, Simant Dube:
An Efficient Solution of the Firing Mob Problem. 57-69 - Mustapha Arfi:
Opérations polynomiales et hiérarchies de concaténation. 71-84 - Kosaburo Hashiguchi:
Algorithms for Determining Relative Inclusion Star Height and Inclusion Star Height. 85-100 - Efim B. Kinber:
On Complete Sets of Samples for Generalized Regular Expressions. 101-117 - David Moews:
Sum of Games Born on Days 2 and 3. 119-128
Volume 91, Number 2, 1991
- Peter Kearney, John Staples:
An Extensional Fixed-Point Semantics for Nondeterministic Data Flow. 129-179 - Peter M. W. Knijnenburg, Jan van Leeuwen:
On Models for Propositional Dynamic Logic. 181-203 - Walter Vogler:
Executions: A New Partial-Order Semantics of Petri Nets. 205-238 - Andrzej Tarlecki
, Rod M. Burstall, Joseph A. Goguen:
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. 239-264 - Wenhui Zhang:
Cut Elimination and Automatic Proof Procedures. 265-284 - Brigitte Rozoy, P. S. Thiagarajan:
Event Structures and Trace Monoids. 285-313
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-14 21:12 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:
