The following pages link to Manuel Clavel (Q875515):
Displaying 23 items.
- (Q422806) (redirect page) (← links)
- Cyclic behavior of extruded magnesium: experimental, microstructural and numerical approach (Q422807) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (Q997833) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- (Q2703706) (← links)
- (Q2703708) (← links)
- (Q2734833) (← links)
- (Q2844063) (← links)
- (Q2851051) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Model-Driven Development of Security-Aware GUIs for Data-Centric Applications (Q3092178) (← links)
- (Q4222853) (← links)
- (Q4222856) (← links)
- (Q4222979) (← links)
- (Q4222994) (← links)
- (Q4223000) (← links)
- (Q4447224) (← links)
- (Q4472433) (← links)
- Reflective metalogical frameworks (Q5277707) (← links)
- Algebraic Methodology and Software Technology (Q5312971) (← links)
- Term Rewriting and Applications (Q5703846) (← links)
