Decidability of the Theory of the Totally Unbounded omega-Layered Structure.

Angelo Montanari, Gabriele Puppis

Browse the full TIME paper archive.