M. Clavel

Available identifiers

zbMath Open clavel.manuelMaRDI QIDQ875515

List of research outcomes

Publication	Date of Publication	Type
Reflective metalogical frameworks	2017-07-12	Paper
Two Decades of Maude	2015-09-14	Paper
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic	2013-10-02	Paper
Strategies and user interfaces in Maude at work	2013-08-27	Paper
Cyclic behavior of extruded magnesium: experimental, microstructural and numerical approach	2012-05-18	Paper
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications	2011-09-16	Paper
All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.	2007-08-08	Paper
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic	2007-04-13	Paper
Term Rewriting and Applications	2005-11-11	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4472433	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4447224	2004-02-16	Paper
Maude: specification and programming in rewriting logic	2002-08-13	Paper
Reflection in conditional rewriting logic	2002-08-13	Paper
Reflection in rewriting logic. Metalogical foundations and metaprogramming applications	2001-08-26	Paper
Towards Maude 2. 0	2001-05-07	Paper
Polytypic programming in Maude	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222979	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222994	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4223000	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222853	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222856	1998-12-20	Paper

Research outcomes over time

This page was built for person: M. Clavel