Bibsonomy :: author  ::

bookmarks

publications

(89)

• Logical Difference and Module Extraction with CEX and MEX.
  Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter Description Logics (2008)
  to dblp by dblp on 2008-06-26 00:00:00
  | URL | BibTeX  
• Efficient First-Order Temporal Logic for Infinite-State Systems
  Clare Dixon and Michael Fisher and Boris Konev and Alexei Lisitsa CoRR abs/cs/0702036 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Monodic temporal resolution
  Anatoli Degtyarev and Michael Fisher and Boris Konev CoRR cs.LO/0306041 (2003)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• On Dynamic Topological and Metric Logics.
  Boris Konev and Roman Kontchakov and Frank Wolter and Michael Zakharyaschev Studia Logica 84 129-160 (2006)
  to dblp by dblp on 2007-12-19 00:00:00
  | URL | BibTeX  
• Idempotent Transductions for Modal Logics.
  Tim French FroCos 178-192 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• Combining Algorithms for Deciding Knowledge in Security Protocols.
  Mathilde Arnaud and Véronique Cortier and Stéphanie Delaune FroCos 103-117 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• Temporal Logic with Capacity Constraints.
  Clare Dixon and Michael Fisher and Boris Konev FroCos 163-177 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• A Compressing Translation from Propositional Resolution to Natural Deduction.
  Hasan Amjad FroCos 88-102 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• Languages Modulo Normalization.
  Hitoshi Ohsaki and Hiroyuki Seki FroCos 221-236 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• Towards an Automatic Analysis of Web Service Security.
  Yannick Chevalier and Denis Lugiez and Michaël Rusinowitch FroCos 133-147 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX