default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 167
Volume 167, Numbers 1&2, 30 October 1996
- Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach:
Foreword: Special Volume of TAPSOFT 1995 Papers. 1 - Martin Hofmann, Donald Sannella
:
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. 3-45 - Bengt Jonsson, Yih-Kuen Tsay:
Assumption/Guarantee Specifications in Linear-Time Temporal Logic. 47-72 - Dexter Kozen:
Rational Spaces and Set Constraints. 73-94 - Aart Middeldorp, Satoshi Okui, Tetsuo Ida:
Lazy Narrowing: Strong Completeness and Eager Variable Elimination. 95-130 - Shmuel Sagiv, Thomas W. Reps, Susan Horwitz:
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. 131-170 - Kai Salomaa:
Decidability of Equivalence for Deterministic Synchronized Tree Automata. 171-192 - David Sands:
Proving the Correctness of Recursion-Based Automatic Program Transformations. 193-233 - Davide Sangiorgi:
pi-Calculus, Internal Mobility, and Agent-Passing Calculi. 235-274
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-09-18 23:40 CEST 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:
