Narciso Martí-Oliet

Narciso Martí-Oliet

Universidad Complutense de Madrid - Madrid / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 1516616
Complutense University of Madrid
person_outline Narciso Martí-Oliet's MOST POPULAR ARTICLES
1-) Some toolsM Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ...All About Maude-A High-Performance Logical Framework: How to Specify …, 200716262007
2-) Maude: Specification and programming in rewriting logicM Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ...Theoretical Computer Science 285 (2), 187-243, 200210852002
3-) Rewriting logic as a logical and semantic frameworkN Martí-Oliet, J MeseguerHandbook of Philosophical Logic, 2002444*2002
4-) The maude 2.0 systemM Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C TalcottInternational Conference on Rewriting Techniques and Applications, 76-87, 20034092003
5-) All About Maude, A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer ScienceM Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ...Springer, 20073272007