Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 13.

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Martí Oliet, Narciso y Caballero, Rafael (2009) A Declarative Debugger for Maude Specifications: User Guide. [ Technical Report SIC; 7-09, ] (Presentado)

Bruni, Roberto y Frutos Escrig, David de y Martí Oliet, Narciso y Montanari, Ugo (2000) Bisimilarity congruences for open terms and term graphs via tile logic. In CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Lecture notes in computer science (1877). Springer, pp. 259-274. ISBN 978-3-540-67897-7

Caballero, Rafael y Martí Oliet, Narciso y Riesco Rodríguez, Adrián y Verdejo López, José Alberto (2007) Declarative Debugging of Maude Functional Modules. [ Technical Report SIC; 4-07, ] (Presentado)

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Caballero, Rafael y Martí Oliet, Narciso (2008) Declarative Debugging of Maude Modules. [ Technical Report SIC; 6/08, ]

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Martí Oliet, Narciso (2009) Declarative Debugging of Missing Answers in Rewriting Logic. [ Technical Report SIC; 6-09, ] (No publicado)

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Martí Oliet, Narciso y Caballero, Rafael (2010) Declarative debugging of rewriting logic specifications. [ Technical Report SIC; nº 10, 2, ] (No publicado)

Martín Sánchez, Óscar y Verdejo López, Alberto y Martí Oliet, Narciso (2016) Egalitarian state-transition systems (extended version). [ ] (No publicado)

Verdejo López, José Alberto y Martí Oliet, Narciso (2003) Executable Structural Operational Semantics in Maude. Technical report, 134-03 . pp. 1-73.

Verdejo López, José Alberto y Martí Oliet, Narciso (2000) Executing and verifying CCS in Maude. Technical report, 99-00 . pp. 1-47.

Meseguer Guaita, José y Palomino, Miguel y Martí Oliet, Narciso (2003) Notes on Model Checking and Abstraction in Rewriting Logic. (No publicado)

Martí Oliet, Narciso (2002) Sobre dos lógicas categóricas : lógica lineal y álgebra con tipos ordenados. [Tesis Doctoral]

Martín Sánchez, Óscar y Verdejo López, Alberto y Martí Oliet, Narciso (2016) Synchronous products of rewrite systems (extended version). [ ] (No publicado)

Verdejo López, José Alberto y Pita Andreu, María Isabel y Martí Oliet, Narciso (2001) The Leader Election Protocol of IEEE 1394 in Maude. Technical report, 118.01 . pp. 1-40.

Esta lista fue generada el Wed Dec 7 02:56:15 2016 CET.