1975 …2019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1975 2019

Filter
Paper
2004

Proving termination of membership equational programs

Durán, F., Lucas, S., Meseguer, J., Marché, C. & Urbain, X., Jan 1 2004, p. 147-158. 12 p.

Research output: Contribution to conferencePaper

Computer programming languages