Weller Daniel

Presentations in Math-Net.Ru

1. Deskolemization, equality and logical complexity
   Daniel Weller
   International workshop "Logical Models of Reasoning and Computation"
   February 3, 2012 10:45