default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 139
Volume 139, Numbers 1&2, 6 March 1995
- Ian M. Hodkinson:
On Gabbay's Temporal Fixed Point Operator. 1-25 - Peter Päppinghaus:
On the Logic of UNITY. 27-67 - J. Robin B. Cockett, Dwight Spencer:
Strong Categorical Datatypes II: A Term Logic for Categorical Programming. 69-113 - Michael Barr:
Nonsymmetric *-Autonomous Categories. 115-130 - Giorgio Ghelli
:
Divergence of F< Type Checking. 131-162 - Anne Bergeron:
Sharing Out Control in Distributed Processes. 163-186 - Pasquale Malacaria:
Studying Equivalences of Transition Systems with Algebraic Tools. 187-205 - Daniel J. Dougherty, Patricia Johann:
A Combinatory Logic Approach to Higher-Order E-Unification. 207-242 - Yiannis N. Moschovakis:
Computable Concurrent Processes. 243-273 - Gilles Bernot, Michel Bidoit, Teodor Knapik:
Observational Specifications and the Indistinguishability Assumption. 275-314 - Paola Inverardi, Monica Nesi:
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. 315-354 - Andreas Weiermann:
Termination Proofs for Term Rewriting Systems by Lexicographic Path Orderings Imply Multiply Recursive Derivation Lengths. 355-362
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-12-20 23:48 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:
