Studies on the Ground Convergence Property of Conditional Theories

Authors:
Emmanuel Kounalis;Michaël Rusinowitch
Affiliations:
-;-
Venue:
AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Year:
1991

Citing 0
Cited 2

Simultaneous checking of completeness and ground confluence for algebraic specifications

ACM Transactions on Computational Logic (TOCL)
Automatic 'descente infinie' induction reasoning

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract