Searched defs:logic (Results 1 - 1 of 1) sorted by relevance

/hets/Maude/doc/
H A Dmaude.tex3 As mentioned in the introduction, Maude modules are executable rewriting logic specifications.
4 Rewriting logic \cite{Meseguer92-tcs} is a logic of change very suitable
6 by an underlying equational logic, for which Maude uses \emph{membership
7 equational logic} \cite{BouhoulaJouannaudMeseguer00,Meseguer97},
12 \subsection{Membership equational logic} \label{mel-section}
14 A \emph{signature} in membership equational logic is a triple $(K,\Sigma, S)$
30 The atomic formulas of membership equational logic are either \emph{equations}
39 of sentences in membership equational logic over the signature $\Sigma$.
41 Models of membership equational logic specification
[all...]

Completed in 735 milliseconds