Theorem-proving with resolution and superposition

von Rusinowitch, Michael
Veröffentlicht in Journal of symbolic computation.11.1991 (1992)

On word problems in horn theories

von Kounalis, Emmanuel
Veröffentlicht in Journal of symbolic computation, 11.1991 (1992)

Automatic proof methods for algebraic specifications

von Kounalis, Emmanuel
Veröffentlicht 1992

Proving refutational completeness of theorem-proving strategies : the transfinite semantic tree method

von Hsiang, Jieh
Veröffentlicht 1992

Studies on the ground convergence property of conditional theories

von Kounalis, Emmanuel
Veröffentlicht 1991

Implicit induction in conditional theories

von Bouhoula, Adel
Veröffentlicht 1993

Any ground associative-commutative theory has a finite canonical system

von Narendran, Paliath
Veröffentlicht 1991

Spike : an automatic theorem prover

von Bouhoula, Adel
Veröffentlicht 1992

Automatd mathematical induction

von Bouhoula, Adel
Veröffentlicht 1994

Differentially Private Friends Recommendation

von Macwan, Kamalkumar
Veröffentlicht in International Symposium on Foundations and Practice of Security (15. : 2022 : Ottawa) Foundations and practice of security (2023)

Automated mathematical induction

von Bouhoula, Adel
Veröffentlicht 1992

Conditional term rewriting systems : third international workshop, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings

Veröffentlicht 1993

Conditional term rewriting systems : proceedings

Veröffentlicht 1993

Conditional term rewriting systems : third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings

Veröffentlicht 1993