Jesús María Aransay Azofra

Generating author description...

All published works

Action	Title	Year	Authors
+	Towards an automated proof of the Basic Perturbation Lemma	2002	Jesús María Aransay Azofra Julio Rubio Clemens Ballarin

Common Coauthors

Coauthor	Papers Together
Julio Rubio	1
Clemens Ballarin	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced