A first course in program verification and the semantics of programming languages
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Structured APL: a proposal for block structured control flow in APL
APL '93 Proceedings of the international conference on APL
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Hi-index | 0.00 |