default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 189
Volume 189, Numbers 1-2, 15 December 1997
- Damian Niwinski:
Fixed Point Characterization of Infinite Behavior of Finite-State Systems. 1-69 - Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot:
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. 71-107 - Hans-Dieter Burkhard:
Fairness and Control in Multi-Agent Systems. 109-127 - Thomas Eiter, Georg Gottlob, Nicola Leone:
Abduction from Logic Programs: Semantics and Complexity. 129-177 - Patrice Brémond-Grégoire, Insup Lee:
A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. 179-219 - Mohamed Mezghiche:
c-beta-Machine with lambda-beta-Reduction. 221-228 - Anne Bergeron:
On the Rational Behaviors of Concurrent Timers. 229-237 - Serafino Cicerone, Francesco Parisi-Presicce:
On the Complexity of Specification Morphisms. 239-248
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-02-25 23:53 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:
