


Остановите войну!
for scientists:
Narciso Martí-Oliet
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j37]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Model checking strategy-controlled systems in rewriting logic. Autom. Softw. Eng. 29(1): 7 (2022) - [j36]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebraic Methods Program. 124: 100727 (2022) - [j35]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Metalevel transformation of strategies. J. Log. Algebraic Methods Program. 124: 100728 (2022) - [j34]Daniel Loscos, Narciso Martí-Oliet
, Ismael Rodríguez
:
Generalization and completeness of stochastic local search algorithms. Swarm Evol. Comput. 68: 100982 (2022) - 2021
- [j33]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita, Alberto Verdejo
:
Strategies, model checking and branching-time properties in Maude. J. Log. Algebraic Methods Program. 123: 100700 (2021) - [i3]Christiano Braga, Narciso Martí-Oliet:
B Maude: A formal executable environment for Abstract Machine Notation Descriptions. CoRR abs/2108.07878 (2021) - 2020
- [j32]Francisco Durán, Steven Eker, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer, Rubén Rubio
, Carolyn L. Talcott:
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020) - [j31]Óscar Martín
, Alberto Verdejo, Narciso Martí-Oliet
:
Compositional Specification in Rewriting Logic. Theory Pract. Log. Program. 20(1): 44-98 (2020) - [c56]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita, Alberto Verdejo:
Strategies, Model Checking and Branching-Time Properties in Maude. WRLA@ETAPS 2020: 156-175 - [e6]Santiago Escobar
, Narciso Martí-Oliet
:
Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12328, Springer 2020, ISBN 978-3-030-63594-7 [contents]
2010 – 2019
- 2019
- [c55]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Model Checking Strategy-Controlled Rewriting Systems (System Description). FSCD 2019: 34:1-34:18 - [i2]Óscar Martín
, Alberto Verdejo, Narciso Martí-Oliet
:
Compositional specification in rewriting logic. CoRR abs/1908.11769 (2019) - [i1]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and Symbolic Computation in Maude. CoRR abs/1910.08416 (2019) - 2018
- [j30]Luis Aguirre, Narciso Martí-Oliet
, Miguel Palomino
, Isabel Pita
:
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. J. Autom. Reason. 60(4): 421-463 (2018) - [c54]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Parameterized Strategies Specification in Maude. WADT 2018: 27-44 - [c53]Óscar Martín
, Alberto Verdejo
, Narciso Martí-Oliet
:
Parameterized Programming for Compositional System Specification. WRLA@ETAPS 2018: 59-75 - [c52]Francisco Durán, Steven Eker, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS 2018: 98-114 - 2017
- [c51]Luis Aguirre, Narciso Martí-Oliet
, Miguel Palomino
, Isabel Pita
:
Conditional narrowing modulo SMT and axioms. PPDP 2017: 17-28 - 2016
- [j29]Christiano Braga, Narciso Martí-Oliet
:
Preface to SCP special issue with extended selected papers from SBMF 2014. Sci. Comput. Program. 126: 1-2 (2016) - [c50]Óscar Martín
, Alberto Verdejo
, Narciso Martí-Oliet
:
Synchronous Products of Rewrite Systems. ATVA 2016: 141-156 - [c49]Francisco Durán, Steven Eker, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer, Carolyn L. Talcott:
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR 2016: 183-192 - [c48]Óscar Martín
, Alberto Verdejo
, Narciso Martí-Oliet
:
Egalitarian State-Transition Systems. WRLA 2016: 98-117 - 2015
- [j28]Francisco Durán
, Narciso Martí-Oliet
:
Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). Sci. Comput. Program. 99: 1-2 (2015) - [c47]Narciso Martí-Oliet
, Peter Csaba Ölveczky, Carolyn L. Talcott:
José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency 2015: 1-47 - [c46]Luis Aguirre, Narciso Martí-Oliet
, Miguel Palomino
, Isabel Pita
:
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Logic, Rewriting, and Concurrency 2015: 48-71 - [c45]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar
, Patrick Lincoln, Narciso Martí-Oliet
, Carolyn L. Talcott:
Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254 - [e5]Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9200, Springer 2015, ISBN 978-3-319-23164-8 [contents] - [e4]Christiano Braga, Narciso Martí-Oliet:
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science 8941, Springer 2015, ISBN 978-3-319-15074-1 [contents] - 2014
- [c44]Óscar Martín
, Alberto Verdejo
, Narciso Martí-Oliet
:
Model Checking TLR* Guarantee Formulas on Infinite Systems. Specification, Algebra, and Software 2014: 129-150 - [c43]Narciso Martí-Oliet
, Francisco Durán
, Alberto Verdejo
:
Equational Abstractions in Rewriting Logic and Maude. SBMF 2014: 17-31 - [c42]Luis Aguirre, Narciso Martí-Oliet
, Miguel Palomino
, Isabel Pita
:
Conditional Narrowing Modulo in Rewriting Logic and Maude. WRLA 2014: 80-96 - 2013
- [e3]Narciso Martí-Oliet, Miguel Palomino:
Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7841, Springer 2013, ISBN 978-3-642-37634-4 [contents] - 2012
- [j27]Narciso Martí-Oliet
, Peter Csaba Ölveczky:
Preface. J. Log. Algebraic Methods Program. 81(7-8): 719-720 (2012) - [j26]Narciso Martí-Oliet
, Miguel Palomino
, Alberto Verdejo
:
Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebraic Methods Program. 81(7-8): 782-815 (2012) - [j25]Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
, Rafael Caballero
:
Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. 81(7-8): 851-897 (2012) - 2011
- [c41]Manuel Clavel, Narciso Martí-Oliet
, Miguel Palomino
:
Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 277-298 - [c40]Rafael Caballero
, Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
:
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR 2011: 73-89 - [c39]Alberto Verdejo
, Narciso Martí-Oliet
:
Basic completion strategies as another application of the Maude strategy language. WRS 2011: 17-36 - 2010
- [j24]José Meseguer, Miguel Palomino
, Narciso Martí-Oliet
:
Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010) - [c38]Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
:
A Complete Declarative Debugger for Maude. AMAST 2010: 216-225 - [c37]Narciso Martí-Oliet
:
An Introduction to Maude and Some of Its Applications. PADL 2010: 4-9 - [c36]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Declarative Debugging of Missing Answers for Maude. RTA 2010: 277-294 - [c35]Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
:
Enhancing the Debugging of Maude Specifications. WRLA 2010: 226-242
2000 – 2009
- 2009
- [c34]Manuel Clavel, Francisco Durán
, Steven Eker, Santiago Escobar
, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Carolyn L. Talcott:
Unification and Narrowing in Maude 2.4. RTA 2009: 380-390 - 2008
- [j23]Narciso Martí-Oliet
, José Meseguer, Miguel Palomino
:
Algebraic Stuttering Simulations. Electron. Notes Theor. Comput. Sci. 206: 91-110 (2008) - [j22]José Meseguer, Miguel Palomino
, Narciso Martí-Oliet
:
Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008) - [c33]Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
, Rafael Caballero
:
A Declarative Debugger for Maude. AMAST 2008: 116-121 - [c32]Rafael Caballero
, Narciso Martí-Oliet
, Adrián Riesco
, Alberto Verdejo
:
Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models 2008: 174-193 - [c31]Adrián Riesco
, Alberto Verdejo
, Rafael Caballero
, Narciso Martí-Oliet
:
Declarative Debugging of Rewriting Logic Specifications. WADT 2008: 308-325 - [c30]Rafael Caballero
, Narciso Martí-Oliet
, Adrián Riesco
, Alberto Verdejo
:
A Declarative Debugger for Maude Functional Modules. WRLA 2008: 63-81 - [c29]Narciso Martí-Oliet
, José Meseguer, Alberto Verdejo
:
A Rewriting Semantics for Maude Strategies. WRLA 2008: 227-247 - 2007
- [j21]Steven Eker, Narciso Martí-Oliet
, José Meseguer, Alberto Verdejo
:
Deduction, Strategies, and Rewriting. Electron. Notes Theor. Comput. Sci. 174(11): 3-25 (2007) - [j20]Narciso Martí-Oliet
, Miguel Palomino
, Alberto Verdejo
:
Strategies and simulations in a semantic framework. J. Algorithms 62(3-4): 95-116 (2007) - [j19]Narciso Martí-Oliet
, Grigore Rosu, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 20(1-2): 1-2 (2007) - [p24]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Introduction. All About Maude 2007: 1-28 - [p23]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Using Maude. All About Maude 2007: 31-37 - [p22]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Syntax and Basic Parsing. All About Maude 2007: 39-59 - [p21]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Functional Modules. All About Maude 2007: 61-118 - [p20]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
A Hierarchy of Data Types: From Trees to Sets. All About Maude 2007: 119-129 - [p19]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
System Modules. All About Maude 2007: 131-157 - [p18]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino
, Alberto Verdejo
:
Playing with Maude. All About Maude 2007: 159-184 - [p17]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Module Operations. All About Maude 2007: 185-230 - [p16]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Predefined Data Modules. All About Maude 2007: 231-305 - [p15]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino
, Alberto Verdejo
:
Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338 - [p14]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Object-Based Programming. All About Maude 2007: 339-372 - [p13]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Model Checking Invariants Through Search. All About Maude 2007: 373-384 - [p12]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
LTL Model Checking. All About Maude 2007: 385-418 - [p11]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Reflection, Metalevel Computation, and Strategies. All About Maude 2007: 419-458 - [p10]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Metaprogramming Applications. All About Maude 2007: 459-483 - [p9]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco
, Alberto Verdejo:
Mobile Maude. All About Maude 2007: 485-522 - [p8]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
User Interfaces and Metalanguage Applications. All About Maude 2007: 523-555 - [p7]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Full Maude: Extending Core Maude. All About Maude 2007: 559-597 - [p6]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Object-Oriented Modules. All About Maude 2007: 599-642 - [p5]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
A Sampler of Application Areas. All About Maude 2007: 645-665 - [p4]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo:
Some Tools. All About Maude 2007: 667-693 - [p3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Debugging and Troubleshooting. All About Maude 2007: 697-736 - [p2]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Complete List of Maude Commands. All About Maude 2007: 737-749 - [p1]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Core Maude Grammar. All About Maude 2007: 751-756 - [e2]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350, Springer 2007, ISBN 978-3-540-71940-3 [contents] - 2006
- [j18]Horatiu Cirstea, Narciso Martí-Oliet:
Preface. Electron. Notes Theor. Comput. Sci. 147(1): 1-3 (2006) - [j17]Alberto Verdejo
, Narciso Martí-Oliet
:
Executable structural operational semantics in Maude. J. Log. Algebraic Methods Program. 67(1-2): 226-293 (2006) - 2005
- [j16]Miguel Palomino
, Narciso Martí-Oliet
, Alberto Verdejo
:
Playing with Maude. Electron. Notes Theor. Comput. Sci. 124(1): 3-23 (2005) - [j15]Narciso Martí-Oliet
, Miguel Palomino
, Alberto Verdejo
:
A Tutorial on Specifying Data Structures in Maude. Electron. Notes Theor. Comput. Sci. 137(1): 105-132 (2005) - [j14]Alberto Verdejo
, Narciso Martí-Oliet
:
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Formal Methods Syst. Des. 27(1-2): 113-172 (2005) - [j13]Narciso Martí-Oliet
, Isabel Pita
, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum:
A Verification Logic for Rewriting Logic. J. Log. Comput. 15(3): 317-352 (2005) - [c28]Miguel Palomino, José Meseguer, Narciso Martí-Oliet:
A Categorical Approach to Simulations. CALCO 2005: 313-330 - [c27]Alberto Verdejo
, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley:
Transforming Information in RDF to Rewriting Logic. FMOODS 2005: 227-242 - [e1]Narciso Martí-Oliet:
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 117, Elsevier 2005 [contents] - 2004
- [c26]Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino:
Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86 - [c25]Narciso Martí-Oliet, José Meseguer, Miguel Palomino:
Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143 - [c24]Narciso Martí-Oliet:
Preface. WRLA 2004: 1-4 - [c23]Narciso Martí-Oliet
, José Meseguer, Alberto Verdejo
:
Towards a Strategy Language for Maude. WRLA 2004: 417-441 - 2003
- [j12]Alberto Verdejo
, Isabel Pita
, Narciso Martí-Oliet
:
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. Formal Aspects Comput. 14(3): 228-246 (2003) - [c22]José Meseguer, Miguel Palomino, Narciso Martí-Oliet:
Equational Abstractions. CADE 2003: 2-16 - [c21]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
The Maude 2.0 System. RTA 2003: 76-87 - 2002
- [j11]Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
:
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. Electron. Notes Theor. Comput. Sci. 71: 261-281 (2002) - [j10]Alberto Verdejo
, Narciso Martí-Oliet
:
Implementing CCS in Maude 2. Electron. Notes Theor. Comput. Sci. 71: 282-300 (2002) - [j9]Narciso Martí-Oliet:
Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala. Log. J. IGPL 10(4): 453-455 (2002) - [j8]Narciso Martí-Oliet
, José Meseguer:
Preface. Theor. Comput. Sci. 285(2): 119-120 (2002) - [j7]Narciso Martí-Oliet
, José Meseguer:
Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285(2): 121-154 (2002) - [j6]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002) - [j5]Isabel Pita
, Narciso Martí-Oliet
:
A Maude specification of an object-oriented model for telecommunication networks. Theor. Comput. Sci. 285(2): 407-439 (2002) - 2001
- [c20]Isabel Pita, Narciso Martí-Oliet:
Proving modal and temporal properties of rewriting logic programs. APPIA-GULP-PRODE 2001: 277-295 - 2000
- [c19]Roberto Bruni, David de Frutos-Escrig
, Narciso Martí-Oliet, Ugo Montanari:
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. CONCUR 2000: 259-274 - [c18]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Using Maude. FASE 2000: 371-374 - [c17]Alberto Verdejo, Narciso Martí-Oliet:
Implementing CCS in Maude. FORTE 2000: 351-366 - [c16]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
Towards Maude 2.0. WRLA 2000: 294-315 - [c15]Manuel Clavel, Francisco Durán
, Narciso Martí-Oliet
:
Polytypic Programming in Maude. WRLA 2000: 339-360 - [c14]Alberto Verdejo
, Isabel Pita
, Narciso Martí-Oliet
:
The Leader Election Protocol of IEEE 1394 in Maude. WRLA 2000: 383-404
1990 – 1999
- 1999
- [c13]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
The Maude System. RTA 1999: 240-243 - [c12]José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita:
Towards a Verification Logic for Rewriting Logic. WADT 1999: 438-458 - 1998
- [c11]Isabel Pita
, Narciso Martí-Oliet
:
Using Reflection to Specify Transaction Sequences in Rewriting Logic. WADT 1998: 261-276 - [c10]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
Maude as a metalanguage. WRLA 1998: 147-160 - [c9]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer:
Metalevel computation in Maude. WRLA 1998: 331-352 - 1997
- [c8]Narciso Martí-Oliet:
Rewriting logic and its applications. APPIA-GULP-PRODE 1997: 5-8 - [c7]Isabel Pita, Narciso Martí-Oliet:
Using Reflection to Specify Transaction Sequences in Rewriting Logic. APPIA-GULP-PRODE 1997: 369-380 - 1996
- [j4]Narciso Martí-Oliet, José Meseguer:
Inclusions and Subtypes I: First-Order Case. J. Log. Comput. 6(3): 409-438 (1996) - [j3]Narciso Martí-Oliet, José Meseguer:
Inclusions and Subtypes II: Higher-Order Case. J. Log. Comput. 6(4): 541-572 (1996) - [c6]