BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Croatia
1 × Czech Republic
1 × Italy
1 × USA
Collaborated with:
L.Tendera Y.Nenov Y.Kazakov H.d.Nivelle R.Kontchakov M.Zakharyaschev W.Szwast E.Kieronski J.Michaliszyn
Talks about:
logic (5) euclidean (2) fragment (2) variabl (2) equival (2) base (2) two (2) elementari (1) interpret (1) procedur (1)

Person: Ian Pratt-Hartmann

DBLP DBLP: Pratt-Hartmann:Ian

Contributed to:

CSL-LICS 20142014
LICS 20122012
CSL 20102010
KR 20102010
LICS 20092009
IJCAR 20012001
CSL 20162016

Wrote 7 papers:

LICS-CSL-2014-Pratt-Hartmann #equivalence #logic
Logics with counting and equivalence (IPH), p. 10.
LICS-2012-KieronskiMPT #equivalence #first-order #logic
Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
CSL-2010-NenovP #logic #on the
On the Computability of Region-Based Euclidean Logics (YN, IPH), pp. 439–453.
KR-2010-KontchakovPZ #logic
Interpreting Topological Logics over Euclidean Spaces (RK, IPH, MZ).
LICS-2009-KazakovP #complexity #logic #problem #satisfiability
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics (YK, IPH), pp. 407–416.
IJCAR-2001-NivelleP #similarity
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality (HdN, IPH), pp. 211–225.
Quine's Fluted Fragment is Non-Elementary (IPH, WS, LT), p. 21.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.