default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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
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-11-22 19:43 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:
