Amelia Râstei

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Amelia Râstei
Abstract Conditions for the Confluence of Explicit Substitution Calculi. Electron. Notes Theor. Comput. Sci. 123 (2005)