Searching for "E-Unification for Subsystems of S4." – 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.

E-Unification for Subsystems of S4
by Renate A. Schmidt — 1998 — Proc. of the 9th Int. Conference on Rewriting Techniques and Applications, RTA'98, volume 1379 of LNCS
…E-Unification for Subsystems of S4 Renate A. Schmidt ? Department of Computing, Manchester…
Cited by 6 (0 self) – Add To MetaCart

Max-Planck-Institut
by Ur Informatik Omega, Of S, Renate A. Schmidt, Im Stadtwald, I Thank H. Ganzinger, A. Herzig, U. Hustadt, A. Nonnengart, H. J. Ohlbach
…MAX-PLANCK-INSTITUT F UR INFORMATIK \Omega \Psi ff \Phi E-Unification for Subsystems of S4 Renate…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB