Recent Trends in Algebraic Development Techniques
Book title Buchtitel
Recent Trends in Algebraic Development Techniques
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
LNCS 5486
Series Schriftenreihe
Lecture Notes in Computer Science
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gmeiner, Karl ; Gramlich, Bernhard ; Corradini, Andrea ; Montanari, Ugo | Transformations of Conditional Rewrite Systems Revisited | Konferenzbeitrag Inproceedings  | 2009 |