Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Wolter, Frank

Statistics Math-Net.Ru
Presentations: 1

Number of views:
This page:40
Website: http://www.csc.liv.ac.uk/~frank/

http://www.mathnet.ru/eng/person56211
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
1997
1. F. Wolter, M. Zakharyaschev, “On the relation between intuitionistic and classical modal logics”, Algebra Logika, 36:2 (1997),  121–155  mathnet  mathscinet

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
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021