A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008

Lars Frantzen, Mercedes G. Merayo, Manuel Núñez. A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. Journal of Logic and Algebraic Programming, 78(6):417-424, 2009. [doi]

Authors

Lars Frantzen

Identified as Lars Frantzen

Mercedes G. Merayo

This author has not been identified. Look up 'Mercedes G. Merayo' in Google

Manuel Núñez

This author has not been identified. Look up 'Manuel Núñez' in Google