Completeness of global evaluation logic (2006)

Cached

Download Links

by Sergey Goncharov , Lutz Schröder , Till Mossakowski
Venue:IN MFCS 06, LNCS 4162
Citations:2 - 1 self

Document Versions

Completeness of global evaluation logic –Sergey Goncharov, Lutz Schröder, Till Mossakowski — 2006 — IN MFCS 06, LNCS 4162