Substructural logic and partial correctness
ACM Transactions on Computational Logic (TOCL)
Equational theories of tropical semirings
Theoretical Computer Science - Foundations of software science and computation structures
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
A general mathematics of names
Information and Computation
A Mechanized Proof of the Basic Perturbation Lemma
Journal of Automated Reasoning
Evaluating and generalizing constraint diagrams
Journal of Visual Languages and Computing
The expressiveness of spider diagrams augmented with constants
Journal of Visual Languages and Computing
A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
Theoretical Computer Science
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
Semantics and proof rules of invariant based programs
Proceedings of the 2011 ACM Symposium on Applied Computing
Hi-index | 0.00 |