Παρακολούθηση
Narciso Martí-Oliet
Narciso Martí-Oliet
Full professor, Facultad de Informática, Universidad Complutense de Madrid
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ucm.es
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Some tools
M 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 …, 2007
16672007
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
11322002
Rewriting logic as a logical and semantic framework
N Martí-Oliet, J Meseguer
Handbook of Philosophical Logic, 2002
438*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
4092003
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, ...
Springer, 2007
3272007
Maude manual (version 3.1)
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ...
SRI International University of Illinois at Urbana-Champaign http://maude …, 2020
297*2020
Rewriting logic: roadmap and bibliography
N Martı-Oliet, J Meseguer
Theoretical Computer Science 285 (2), 121-154, 2002
2962002
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ...
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006
260*2006
From Petri nets to linear logic
N Martí-Oliet, J Meseguer
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 …, 2005
203*2005
Towards a strategy language for Maude
N Martí-Oliet, J Meseguer, A Verdejo
Electronic Notes in Theoretical Computer Science 117, 417-441, 2005
1232005
The maude system
M Clavel, F Durán, S Eker, P Lincoln, N Marti-Oliet, J Meseguer, ...
International Conference on Rewriting Techniques and Applications, 240-243, 1999
1181999
Implementing ccs in maude 2
A Verdejo, N Martí-Oliet
Electronic Notes in Theoretical Computer Science 71, 282-300, 2004
114*2004
Equational abstractions
J Meseguer, M Palomino, N Martí-Oliet
Theoretical Computer Science 403 (2-3), 239-264, 2008
1102008
Executable structural operational semantics in Maude
A Verdejo, N Martí-Oliet
The Journal of Logic and Algebraic Programming 67 (1-2), 226-293, 2006
1022006
Deduction, strategies, and rewriting
S Eker, N Martí-Oliet, J Meseguer, A Verdejo
Electronic Notes in Theoretical Computer Science 174 (11), 3-25, 2007
992007
Reflection, metalevel computation, and strategies
M 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 …, 2007
972007
Programming and symbolic computation in Maude
F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, R Rubio, C Talcott
Journal of Logical and Algebraic Methods in Programming 110, 100497, 2020
922020
Equational abstractions
J Meseguer, M Palomino, N Martí-Oliet
Automated Deduction–CADE-19: 19th International Conference on Automated …, 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
771991
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
712004
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20