nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A rule-based system for automatic decidability and combinability
|
Tushkanova, E. |
|
2015 |
99 |
C |
p. 3-23 21 p. |
artikel |
2 |
Editorial Board
|
|
|
2015 |
99 |
C |
p. IFC- 1 p. |
artikel |
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. |
artikel |
4 |
Model checking linear temporal logic of rewriting formulas under localized fairness
|
Bae, Kyungmin |
|
2015 |
99 |
C |
p. 193-234 42 p. |
artikel |
5 |
Modelling and analyzing adaptive self-assembly strategies with Maude
|
Bruni, Roberto |
|
2015 |
99 |
C |
p. 75-94 20 p. |
artikel |
6 |
Order-sorted equality enrichments modulo axioms
|
Gutiérrez, Raúl |
|
2015 |
99 |
C |
p. 235-261 27 p. |
artikel |
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. |
artikel |
8 |
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude
|
Eckhardt, Jonas |
|
2015 |
99 |
C |
p. 24-74 51 p. |
artikel |
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. |
artikel |