MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Equational Type Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Order-independence and Underspecification
by Reinhard Muskens — 1995 — Ellipsis, Underspecification, Events and More in Dynamic Semantics. DYANA Deliverable R.2.2.C
… associate a variable of type logic xi and we interpret each local subtree with an equation in type logic…
Cited by 29 (4 self) – Add To MetaCart

The Use of Sorts in Algebraic Specifications
by Peter D. Mosses — 1993
….3 PolymorphicallyOrder-SortedTypes ................ 20 7.4 EquationalType Logic. ....................... 21 7…
Cited by 11 (0 self) – Add To MetaCart

Membership Algebra as a Logical Framework for Equational Specification
by José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer — 1998
…-sorted equational logic, equational type logic [21], unified algebras [28], and heterogeneous unified algebras [30…
Cited by 105 (32 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB