some image logo

HOME

SEARCH

CURRENT ISSUE

   Volume 12 Issue 4

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 12, ISSUE 4 (in Progress)


1. Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
  Franz Baader, Stefan Borgwardt and Barbara Morawska


2. Model Checking Spatial Logics for Closure Spaces
  Vincenzo Ciancia, Diego Latella, Michele Loreti and Mieke Massink


3. Some theorems on passing from local to global presence of properties of functions
  Dimiter Skordev


4. Borel-Piecewise Continuous Reducibility for Uniformization Problems
  Takayuki Kihara


5. Discovering, Quantifying, and Displaying Attacks
  Roberto Vigo, Flemming Nielson and Hanne Riis Nielson


6. Automata for Analysing Service Contracts
  Davide Basile, Pierpaolo Degano and Gian-Luigi Ferrari


7. Honesty by typing
  Massimo Bartoletti, Alceste Scalas, Emilio Tuosto and Roberto Zunino


8. On the locality of arb-invariant first-order formulas with modulo counting quantifiers
  Frederik Harwath and Nicole Schweikardt


9. On linear rewriting systems for Boolean logic and some applications to proof theory
  Anupam Das and Lutz Strassburger


10. Coalgebraic trace semantics via forgetful logics
  Bartek Klin and Jurriaan Rot


11. On the Mints Hierarchy in First-Order Intuitionistic Logic
  Aleksy Schubert, Paweł Urzyczyn and Konrad Zdanowski


12. Compositional metric reasoning with Probabilistic Process Calculi
  Daniel Gebler, Simone Tini and Kim G Larsen


13. Encoding Monomorphic and Polymorphic Types
  Jasmin Christia Blanchette, Sascha Böhme, Andrei Popescu and Nicholas Smallbone


Creative Commons