Pavel Grinfeld

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Operational Semantics

Top Venues

Publications

Mark Boady, Pavel Grinfeld, Jeremy R. Johnson
A term rewriting system for the calculus of moving surfaces. ISSAC (2013)
Mark Boady, Pavel Grinfeld, Jeremy R. Johnson
A symbolic computation system for the calculus of moving surfaces. ACM Commun. Comput. Algebra 45 (1/2) (2011)