Theoretical Computer Science - Special issue on theories of types and proofs
Modularity of strong normalization in the algebraic-λ-cube
Journal of Functional Programming
The Computability Path Ordering: The End of a Quest
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Distributed event-based access control
International Journal of Information and Computer Security
RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS
Fundamenta Informaticae
Hi-index | 0.00 |