Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Wolter, Frank
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Presentations: 1

Number of views:
This page:61
Abstract pages:34
Full texts:18
Website: http://www.csc.liv.ac.uk/~frank/

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

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  mathnet  mathscinet 36

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, 2024