Kaplan, Simon M.
VIAF ID: 40841294 ( Personal )
Permalink: http://viaf.org/viaf/40841294
Preferred Forms
- 100 1 _ ‡a Kaplan, Simon M.
- 100 1 _ ‡a Kaplan, Simon M.
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Conference on Organizational Computing Systems : November 1-4,1993, Milpitas, California | |
Incremental attribute evaluation on node-label controlled graphs | |
Specification and verification of context conditions for programming languages | |
Verification of recursive programs, 1985: |