Complexity of Formula Classes in First Order Logic with Functions.

Erich Grdel

Browse the full FCT paper archive.