Mr Daumantas Kojelis

View graph of relations

Keywords

  • First-Order Logic, Complexity Theory, Model Theory, Finite Model Theory