Decorated linear order types and the theory of concatenation.

A. Visser, V. Cacic, P. Pudlak, G. Restall, A. Urquhart

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationLogic Colloquium 2007
EditorsF. Delon, U. Kohlenbach, P. Maddy, F. Stephan
Place of PublicationCambridge
PublisherCambridge University Press
Number of pages13
Publication statusPublished - 2010

Cite this