Martí-Oliet, Narciso.
Martí-Oliet, N. (Narciso)
VIAF ID: 63683229 ( Personal )
Permalink: http://viaf.org/viaf/63683229
Preferred Forms
- 100 1 _ ‡a Martí-Oliet, N. ‡q (Narciso)
-
- 100 1 _ ‡a Martí-Oliet, Narciso
- 100 1 _ ‡a Martí-Oliet, Narciso
-
- 100 1 _ ‡a Martí Oliet, Narciso
- 100 1 _ ‡a Martí Oliet, Narciso
-
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
Algoritmos correctos y eficientes : diseño razonado ilustrado con ejercicios | |
All About Maude - A High-Performance Logical Framework : How to Specify, Program and Verify Systems in Rewriting Logic | |
Estructuras de datos y métodos algorítmicos : ejercicios resueltos | |
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings | |
Introducción a la computación | |
Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday | |
Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers | |
Rewriting logic and its applications, c2002: | |
Sobre dos lógicas categóricas: lógica lineal y álgebra con tipos ordenados |