Functional and constraint logic programming
Constraints in computational logics
Managing Structural Information by Higher-Order Colored Unification
Journal of Automated Reasoning
A Complete Selection Function for Lazy Conditional Narrowing
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Narrowing terminates for encryption
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Semantic Analysis of Matrix Structures
ICDAR '05 Proceedings of the Eighth International Conference on Document Analysis and Recognition
Journal of Automated Reasoning
Processing textbook-style matrices
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Unification modulo synchronous distributivity
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |