Stop the war!
Остановите войну!
for scientists:
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.