Suprema of open and closed formulas and their application to resolution

Authors:
Marco Bellia;M. Eugenia Occhiuto
Affiliations:
-;-
Venue:
Information and Computation
Year:
1995

Citing 0
Cited 2

N-axioms parallel unification

Fundamenta Informaticae - Concurrency specification and programming
N-axioms Parallel Unification

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2

Quantified Score

Hi-index	0.00

Visualization

Abstract