Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Wolter, Frank
Website:
http://www.csc.liv.ac.uk/~frank/
https://www.mathnet.ru/eng/person56211
List of publications on Google Scholar
Publications in
Math-Net.Ru
Citations
1997
1.
F. Wolter, M. Zakharyaschev, “On the relation between intuitionistic and classical modal logics”,
Algebra Logika
,
36
:2 (1997),
121–155
42
Presentations in
Math-Net.Ru
1.
Islands of tractability for relational constraints: towards dichotomy results for the description logic
$\mathcal{EL}$
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
The eighth International ņonference "Advances in Modal Logic" (AiML 2010)
August 24, 2010
10:50
Organisations
University of Liverpool
