Keyword:first-order logic

Papers
EasyChair Preprint no. 1256
EasyChair Preprint no. 826
EasyChair Preprint no. 396
EasyChair Preprint no. 393
EasyChair Preprint no. 360
EasyChair Preprint no. 352
EasyChair Preprint no. 98
EasyChair Preprint no. 8
EasyChair Preprint no. 1