Steven Eker

Available identifiers

Publication	Date of Publication	Type
The Maude strategy language	2023-08-08	Paper
Associative unification and symbolic reasoning modulo associativity in Maude	2023-07-28	Paper
Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)	2022-12-07	Paper
Programming and symbolic computation in Maude	2020-01-31	Paper
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7	2016-09-05	Paper
Two Decades of Maude	2015-09-14	Paper
Deduction, strategies, and rewriting	2013-12-06	Paper
The Maude LTL model checker	2013-10-02	Paper
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6	2012-04-24	Paper
The Third Rewrite Engines Competition	2010-10-12	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
https://portal.mardi4nfdi.de/entity/Q4447224	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4447218	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4426386	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4413230	2003-07-17	Paper
Maude: specification and programming in rewriting logic	2002-08-13	Paper
Single elementary associative-commutative matching	2002-05-22	Paper
Towards Maude 2. 0	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222981	1999-01-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/Q4222853	1998-12-20	Paper

This page was built for person: Steven Eker