Calculus of constituents: A decidable fragment of second order PL

DOI: 10.2298/jac0601047i

Full-Text   Cite this paper   Add to My Lib

Abstract:

We present a short review of the calculus of constituents.

Full-Text