Skip to content

Completeness of Global Evaluation Logic.

Sergey Goncharov, Lutz Schrder, Till Mossakowski

VenueBMFCS
Year2006
ProceedingsMFCS

Browse the full MFCS paper archive.