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