|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Declarative Debugger for Maude Functional Modules |
Caballero, R. |
2009 |
238 | 3 |
p. 63-81 19 p. |
artikel |
|
| 2 | A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude |
Durán, Francisco |
2009 |
238 | 3 |
p. 83-102 20 p. |
artikel |
|
| 3 | A Rewriting Semantics for Maude Strategies |
Martí-Oliet, Narciso |
2009 |
238 | 3 |
p. 227-247 21 p. |
artikel |
|
| 4 | Combining Techniques to Reduce State Space and Prove Strong Properties |
Rodríguez, Dilia E. |
2009 |
238 | 3 |
p. 267-280 14 p. |
artikel |
|
| 5 | Equational Abstractions for Reducing the State Space of Rewrite Theories |
Haß, Lars Helge |
2009 |
238 | 3 |
p. 139-154 16 p. |
artikel |
|
| 6 | Hierarchical Design Rewriting with Maude |
Bruni, Roberto |
2009 |
238 | 3 |
p. 45-62 18 p. |
artikel |
|
| 7 | Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol |
Riesco, Adrián |
2009 |
238 | 3 |
p. 249-266 18 p. |
artikel |
|
| 8 | Memory Representations in Rewriting Logic Semantics Definitions |
Hills, Mark |
2009 |
238 | 3 |
p. 155-172 18 p. |
artikel |
|
| 9 | Operational Termination of Membership Equational Programs: the Order-Sorted Way |
Lucas, Salvador |
2009 |
238 | 3 |
p. 207-225 19 p. |
artikel |
|
| 10 | Patterns for Maude Metalanguage Applications |
Goriac, Eugen-Ioan |
2009 |
238 | 3 |
p. 121-138 18 p. |
artikel |
|
| 11 | Preface |
Roşu, Grigore |
2009 |
238 | 3 |
p. 1-3 3 p. |
artikel |
|
| 12 | Proof Search for the First-Order Connection Calculus in Maude |
Holen, Bjarne |
2009 |
238 | 3 |
p. 173-188 16 p. |
artikel |
|
| 13 | Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors |
Agrigoroaiei, Oana |
2009 |
238 | 3 |
p. 5-22 18 p. |
artikel |
|
| 14 | Strategy-Based Proof Calculus for Membrane Systems |
Andrei, Oana |
2009 |
238 | 3 |
p. 23-43 21 p. |
artikel |
|
| 15 | The Second Rewrite Engines Competition |
Durán, Francisco |
2009 |
238 | 3 |
p. 281-291 11 p. |
artikel |
|
| 16 | Variant Narrowing and Equational Unification |
Escobar, Santiago |
2009 |
238 | 3 |
p. 103-119 17 p. |
artikel |
|
| 17 | Which Soft Constraints do you Prefer? |
Hölzl, Matthias |
2009 |
238 | 3 |
p. 189-205 17 p. |
artikel |
17 gevonden resultaten