Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             7 results found
no title author magazine year volume issue page(s) type
1 A complete proof of correctness of the Knuth-Bendix completion algorithm Huet, GĂ©rard
1981
23 1 p. 11-21
11 p.
article
2 Completeness of context-free grammar forms Maurer, H.A.
1981
23 1 p. 1-10
10 p.
article
3 Corrigendum Tompa, Martin
1981
23 1 p. 106-
1 p.
article
4 On correct refinement of programs Back, R.J.R.
1981
23 1 p. 49-68
20 p.
article
5 On maximal order for local and global numerical problems Werschulz, Arthur G.
1981
23 1 p. 38-48
11 p.
article
6 Recursion-closed algebraic theories Gallier, Jean H.
1981
23 1 p. 69-105
37 p.
article
7 Synchronous to asynchronous transformation of polyautomata Nakamura, Katsuhiko
1981
23 1 p. 22-37
16 p.
article
                             7 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands