Steven Eker

Available identifiers

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2851053	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/Q4447218	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4447224	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
https://portal.mardi4nfdi.de/entity/Q2703706	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222979	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222981	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222994	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222853	1998-12-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Steven Eker