WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Modeling Context Effect in Perceptual Domains
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Specification Refinement with System F
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Computer aided fusion for algebraic program derivation
Nordic Journal of Computing
Proof theory of higher-order equations: conservativity, normal forms and term rewriting
Journal of Computer and System Sciences
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
A formal calculus for informal equality with binding
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
A Process Calculus with Finitary Comprehended Terms
Theory of Computing Systems
Hi-index | 5.23 |