Systematic design of algebraic specifications
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A strong restriction of the inductive completion procedure
Journal of Symbolic Computation
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
Acceptability with General Orderings
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Term-rewriting as a basis for a uniform architecture in machine translation
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 4
Complete inference rules for the cancellation laws
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Rewrite rules for search database systems
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Checking formal specifications by testing
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Simplification Orderings: History Of Results
Fundamenta Informaticae
Hi-index | 0.00 |