ask others

Theoretical Computer Science, Volume 30

> Home > Journals > Theoretical Computer Science

Volume 30, 1984

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BergstraK84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BergstraK84
Jan A. Bergstra, Jan Willem Klop:
Proving Program Inclusion Using Hoare's Logic. 1-48
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Olderog84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Olderog84
Ernst-Rüdiger Olderog:
Correctnes of Programs with Pascal-Like Procedures without Global Variables. 49-90
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AustryB84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AustryB84
Didier Austry, Gérard Boudol:
Algèbre de Processus et Synchronisation. 91-131
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Simone84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Simone84
Robert de Simone:
On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. 133-138
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Klaeren84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Klaeren84
Herbert Klaeren:
A Contructive Method for Abstract Algebraic Software Specification. 139-204
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BraquelaireC84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BraquelaireC84
Jean-Pierre Braquelaire, Bruno Courcelle:
The Solutions of Two Star-Height Problems for Regular Trees. 205-239
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/GenrichT84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/GenrichT84
Hartmann J. Genrich, P. S. Thiagarajan:
A Theory of Bipolar Synchronization Schemes. 241-318
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/DenenbergL84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/DenenbergL84
Larry Denenberg, Harry R. Lewis:
The Complexity of the Satisfiability Problem for Krom Formulas. 319-341

maintained by

, founded at