![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 75
Volume 75, Number 1&2, 1990
- Robin Milner:
Interpreting one Concurrent Calculus in Another. 3-13 - J. W. de Bakker, Joost N. Kok:
Comparative Metric Semantics for Concurrent Prolog. 14-43 - Moreno Falaschi
, Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages. 45-66 - Masaki Murakami:
A Declarative Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes. 67-83 - Steffen Hölldobler:
Conditional Equational Theories and Complete Sets of Transformations. 85-110 - Nachum Dershowitz, Mitsuhiro Okada:
A Rationale for Conditional Equational Programming. 111-138 - Tadashi Kawamura, Tadashi Kanamori:
Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation. 139-156 - Philippe Devienne:
Weighted Graphs: A Tool for Studying the Halting Problem and Time Complexity in Term Rewriting Systems and Logic Programming. 157-215
Volume 75, Number 3, 1990
- Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
A Partial Ordering Semantics for CCS. 223-262 - Shmuel Katz, Doron A. Peled:
Interleaving Set Temporal Logic. 263-287 - Manfred Droste, Rüdiger Göbel:
Non-Deterministic Information Systems and their Domains. 289-309 - Uri Blass, Aviezri S. Fraenkel:
The Sprague-Grundy Function for Wythoff's Game. 311-333 - Eric Allender, Christopher B. Wilson:
Downward Translations of Equality. 335-346 - Jianzhong Du, Joseph Y.-T. Leung, Gilbert H. Young:
Minimizing Mean Flow Time with Release Time Constraint. 347-355 - Thomas Lengauer, Klaus W. Wagner:
The Binary Network Flow Problem is Logspace Complete for P. 357-363
![](https://dblp.org/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.