dr prof. UO Ian Pratt-Hartmann

Publikacje


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

  2. 2016
  3. Ian Pratt-Hartmann, Wiesław Szwast, 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.

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

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