Jordi Levy

1PUBLICATIONS
0CO-AUTHORS
Category theory, k theory, homological algebra
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Sep 04, 2018
Higher-Order Pattern Anti-Unification in Linear Time.

Alexander Baumgartner, Temur Kutsia, Jordi Levy

Pageof 1

Frequent Collaborators