Skip to content

A Model-Theoretic Counterpart of Loop Formulas.

Joohyung Lee

VenueA*IJCAI
Year2005
ProceedingsIJCAI

Browse the full IJCAI paper archive.