default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 30
Volume 30, 1984
- Jan A. Bergstra, Jan Willem Klop:
Proving Program Inclusion Using Hoare's Logic. 1-48 - Ernst-Rüdiger Olderog:
Correctnes of Programs with Pascal-Like Procedures without Global Variables. 49-90 - Didier Austry, Gérard Boudol:
Algèbre de Processus et Synchronisation. 91-131 - Robert de Simone:
On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. 133-138 - Herbert Klaeren:
A Contructive Method for Abstract Algebraic Software Specification. 139-204 - Jean-Pierre Braquelaire, Bruno Courcelle:
The Solutions of Two Star-Height Problems for Regular Trees. 205-239 - Hartmann J. Genrich
, P. S. Thiagarajan:
A Theory of Bipolar Synchronization Schemes. 241-318 - Larry Denenberg, Harry R. Lewis:
The Complexity of the Satisfiability Problem for Krom Formulas. 319-341
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-05 22:23 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:
