| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A rule-based system for automatic decidability and combinability
|
Tushkanova, E.
|
|
2015
|
99 |
C |
p. 3-23
21 p.
|
article
|
| 2 |
Editorial Board
|
|
|
2015
|
99 |
C |
p. IFC-
1 p.
|
article
|
| 3 |
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?
|
Fadlisyah, Muhammad
|
|
2015
|
99 |
C |
p. 95-127
33 p.
|
article
|
| 4 |
Model checking linear temporal logic of rewriting formulas under localized fairness
|
Bae, Kyungmin
|
|
2015
|
99 |
C |
p. 193-234
42 p.
|
article
|
| 5 |
Modelling and analyzing adaptive self-assembly strategies with Maude
|
Bruni, Roberto
|
|
2015
|
99 |
C |
p. 75-94
20 p.
|
article
|
| 6 |
Order-sorted equality enrichments modulo axioms
|
Gutiérrez, Raúl
|
|
2015
|
99 |
C |
p. 235-261
27 p.
|
article
|
| 7 |
Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012)
|
Durán, Francisco
|
|
2015
|
99 |
C |
p. 1-2
2 p.
|
article
|
| 8 |
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude
|
Eckhardt, Jonas
|
|
2015
|
99 |
C |
p. 24-74
51 p.
|
article
|
| 9 |
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories
|
Lepri, Daniela
|
|
2015
|
99 |
C |
p. 128-192
65 p.
|
article
|
Journal description