Searching for authors named "Eric Mays" – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

A Modal Temporal Logic for Reasoning about Change
by Eric Mays Department
… Science Foundation, NSF-MCS 81-07290. A Modal Temporal Logic for Reasoning about Change Eric Mays…
Add To MetaCart

The K-Rep System Architecture
by Robert Weida, Eric Mays, Robert Dionne, Meir Laker, Brian White, Chihong Liang, Frank J. Oles — 1996 — the Proceedings of the 1996 International Workshop on Description Logics
…The K-Rep System Architecture Robert Weida, Eric Mays, Robert Dionne, Meir Laker, Brian White…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

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