![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.