dr prof. UO Ian Pratt-Hartmann

Publikacje


    2018
  1. Lidia Tendera, Emanuel Kieroński, Ian Pratt-Hartmann, TWO-VARIABLE LOGICS WITH COUNTING AND SEMANTIC CONSTRAINTS, w: SIGLOG Newsletter, 5(3) (2018), 22-43.

  2. 2017
  3. Lidia Tendera, Ian Pratt-Hartmann, Emanuel Kieroński, EQUIVALENCE CLOSURE IN THE TWO-VARIABLE GUARDED FRAGMENT, Journal of Logic and Computation, 27 (4) (2017), 999--1021.

  4. 2016
  5. Wiesław Szwast, Ian Pratt-Hartmann, Lidia Tendera, QUINE'S FLUTED FRAGMENT IS NON-ELEMENTARY, w: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - Septem (red. Jean-Marc Talbot and Laurent Regnier), 978-3-95977-022-4, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016), 39:1--39:21.

  6. 2015
  7. Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev, SPATIAL REASONING WITH RCC8 AND CONNECTEDNESS CONSTRAINTS IN EUCLIDEAN SPACES, Artificial Intelligence, 217 (2015), 43--75.

  8. 2014
  9. Lidia Tendera, Ian Pratt-Hartmann, Jakub Michaliszyn, Emanuel Kieroński, TWO-VARIABLE FIRST-ORDER LOGIC WITH EQUIVALENCE CLOSURE, SIAM Journal on Computing, 43 (2014), 1012–1063.
  10. Ian Pratt-Hartmann, LOGICS WITH COUNTING AND EQUIVALENCE, Proc. Annual IEEE Symposium on Logic in Computer Science, LICS, 29 (2014), Art. 76.