Skip to content

One-dimensional Fragment of First-order Logic.

Lauri Hella, Antti Kuusisto

VenueBAiML
Year2014
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.