Eigenvariables, bracketing and the decidability of positive minimal predicate logic
Theoretical Computer Science
The complexity of inhabitation with explicit intersection
Logic and Program Semantics
Complete completion using types and weights
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Hi-index | 0.00 |