The Functions Provable by First Order Abstraction
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Universal Algebra and Computer Science
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
A geometric interpretation of LD-resolution
Theoretical Computer Science - Logic, semantics and theory of programming
Formal Theories of Information
Annals of Mathematics and Artificial Intelligence
Systems analysis of life cycle of large-scale information-control systems
Automation and Remote Control
A functional completeness theorem for De Morgan functions
Discrete Applied Mathematics
Hi-index | 0.00 |