|
Journals in DBLP
- C. J. Kooken
Algebraic Specification and Verification of Communicating Protocols. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1985, v:5, n:1, pp:1-36 [Journal]
- Douglas R. Smith
The Design of Divide and Conquer Algorithms. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1985, v:5, n:1, pp:37-58 [Journal]
- Andrzej Tarlecki
A Language of Specified Programs. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1985, v:5, n:1, pp:59-81 [Journal]
- Fahimeh Jalili
A General Incremental Evaluator for Attribute Grammars. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1985, v:5, n:1, pp:83-96 [Journal]
- Martin Rem
Small Programming Exercises 6. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1985, v:5, n:1, pp:97-106 [Journal]
|