|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A language independent proof of the soundness and completeness of generalized Hoare logic |
Cousot, Patrick |
1989 |
80 | 2 |
p. 165-191 27 p. |
artikel |
|
| 2 | Correctness proofs for abstract implementations |
Bernot, Gilles |
1989 |
80 | 2 |
p. 121-151 31 p. |
artikel |
|
| 3 | NC algorithms for computing the number of perfect matchings in K 3,3-free graphs and related problems |
Vazirani, Vijay V. |
1989 |
80 | 2 |
p. 152-164 13 p. |
artikel |
|
| 4 | The power of two-way deterministic checking stack automata |
Engelfriet, Joost |
1989 |
80 | 2 |
p. 114-120 7 p. |
artikel |
|
| 5 | Unique normal forms for lambda calculus with surjective pairing |
Klop, J.W. |
1989 |
80 | 2 |
p. 97-113 17 p. |
artikel |
5 gevonden resultaten