The theory and applications of rewriting logic have been vigorously developed by
researchers all over the world during the past eleven years. The attached bibliography …

This paper surveys the work of many researchers on rewriting logic since it was first
introduced in 1990. The main emphasis is on the use of rewriting logic as a semantic …

At present, designers of real-time systems face a dilemma between expressiveness and
automatic verification: if they can specify some aspects of their system in some automaton …

Rewriting logic [40] is proposed as a logical framework in which other logics can be
represented, and as a semantic framework for the specification of languages and systems …

This paper introduces the basic concepts of the rewriting logic language Maude and
discusses its implementation. Maude is a wide-spectrum language supporting formal …

This paper explores the application of rewriting logic to the executable formal modeling of
real-time and hybrid systems. We give general techniques by which such systems can be …

ELAN implements computational systems, a concept that combines two first class entities:
rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to …

After giving general metalogical axioms characterizing reflection in general logics in terms of
the notion of a universal theory, this paper specifies a finitely presented universal theory for …

In this work, we consider term rewriting from a functional point of view. A rewrite rule is a
function that can be applied to a term using an explicit application function. From this starting …

The low‐temperature autoclave aging behavior of zirconia‐toughened alumina composites
processed by a classical powder mixing processing route was analyzed using atomic force …