Folgen
Narciso Martí-Oliet
Narciso Martí-Oliet
Full professor, Facultad de Informática, Universidad Complutense de Madrid
Bestätigte E-Mail-Adresse bei ucm.es
Titel
Zitiert von
Zitiert von
Jahr
All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
Springer, 2007
15052007
Maude: Specification and programming in rewriting logic
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ...
Theoretical Computer Science 285 (2), 187-243, 2002
10782002
Rewriting logic as a logical and semantic framework
N Martí-Oliet, J Meseguer
Handbook of Philosophical Logic, 2002
437*2002
The maude 2.0 system
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
International Conference on Rewriting Techniques and Applications, 76-87, 2003
3982003
Rewriting logic: roadmap and bibliography
N Martı-Oliet, J Meseguer
Theoretical Computer Science 285 (2), 121-154, 2002
2842002
Maude manual (version 2.1)
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
SRI International, Menlo Park (April 2005), 2004
2482004
All About Maude, A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer Science
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
Springer, 2007
2342007
From Petri nets to linear logic
N Marti-Oliet, J Meseguer
Category Theory and Computer Science, 313-340, 1989
1991989
Towards a strategy language for Maude
N Martí-Oliet, J Meseguer, A Verdejo
Electronic Notes in Theoretical Computer Science 117, 417-441, 2005
1112005
Implementing ccs in maude 2
A Verdejo, N Martí-Oliet
Electronic Notes in Theoretical Computer Science 71, 282-300, 2004
1082004
The maude system
M Clavel, F Duran, S Eker, P Lincoln, N Marti-Oliet, J Meseguer, ...
International Conference on Rewriting Techniques and Applications, 240-243, 1999
1071999
Executable structural operational semantics in Maude
A Verdejo, N Martí-Oliet
The Journal of Logic and Algebraic Programming 67 (1-2), 226-293, 2006
982006
Equational abstractions
J Meseguer, M Palomino, N Martí-Oliet
Theoretical Computer Science 403 (2-3), 239-264, 2008
922008
Deduction, strategies, and rewriting
S Eker, N Martí-Oliet, J Meseguer, A Verdejo
Electronic Notes in Theoretical Computer Science 174 (11), 3-25, 2007
872007
Equational abstractions
J Meseguer, M Palomino, N Martí-Oliet
International Conference on Automated Deduction, 2-16, 2003
852003
From Petri nets to linear logic through categories: A survey
N Martí-Oliet, J Meseguer
International Journal of Foundations of Computer Science 2 (04), 297-399, 1991
741991
Maude 2.0 Manual
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
Available in http://maude. cs. uiuc. edu, 2003
672003
An executable specification of asynchronous Pi-Calculus semantics and may testing in Maude 2.0
P Thati, K Sen, N Martí-Oliet
Electronic Notes in Theoretical Computer Science 71, 261-281, 2004
662004
General logics and logical frameworks
N Martí-Oliet, J Meseguer
What is a logical system?, 355-391, 1994
641994
Estructuras de datos y métodos algorítmicos: ejercicios resueltos
NM Oliet, YO Mallén, JAV López
Pearson educación, 2004
592004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20