Semantics: the description of computational structures
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Universal Arrow Foundations for Visual Modeling
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Geometry of deduction via graphs of proofs
Logic for concurrency and synchronisation
Science of Computer Programming
Hi-index | 0.00 |