


default search action
Theoretical Computer Science, Volume 69
Volume 69, Number 1, 1989
- Laurent Vieille:

Recursive Query Processing: The Power of Logic. 1-53 - Jean-Marc Kerisit:

A Relational Approach to Logic Programming: The Extended Alexander Method. 55-68 - S. Kaplan:

Algebraic Specification of Concurrent Systems. 69-115
Volume 69, Number 2, 1989
- Flemming Nielson

:
Two-Level Semantics and Abstract Interpretation. 117-242
Volume 69, Number 3, 1989
- Matthias Felleisen, Daniel P. Friedman:

A Syntactic Theory of Sequential State. 243-287 - Moreno Falaschi

, Giorgio Levi, Catuscia Palamidessi
, Maurizio Martelli:
Declarative Modeling of the Operational Behavior of Logic Languages. 289-318 - K. A. Baker, George F. McNulty, Walter Taylor:

Growth Problems for Avoidable Words. 319-345

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














