Searching for "Automated Deduction in a Graphical Temporal Logic." – 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.

Automated Deduction in a Graphical Temporal Logic
by L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, L. K. Dillon — 1996 — Journal of Applied Non-Classical Logics
…Automated Deduction in a Graphical Temporal Logic L. E. Moser, P. M. Melliar-Smith, Y. S…
Cited by 1 (0 self) – Add To MetaCart

Cv
by Y. Srinivas Ramakrishna, Advisor Prof, P. M. Melliar-smith
… in a Graphical Logic, Proc. Symp. Automated Deduction in Nonstandard Logics, Raleigh, October 1993, pp…
Add To MetaCart

Showing 1 through 2.

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