Lazy linear combinatorial

Authors:
Marco Bellia;M. Eugenia Occhiuto
Affiliations:
Univ. di Pisa, Pi&smacr/a, Italy;Univ. di Pisa, Pi&smacr/a, Italy
Venue:
Journal of Symbolic Computation
Year:
1999

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