External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Saturation-based Algebraic Reasoner for ELQ

Jelena Vlasenko, Maryam Daryalal, Volker Haarslev, Brigitte Jaumard. A Saturation-based Algebraic Reasoner for ELQ. In Pascal Fontaine, Stephan Schulz 0001, Josef Urban, editors, Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016. Volume 1635 of CEUR Workshop Proceedings, pages 110-124, CEUR-WS.org, 2016. [doi]

Authors

Jelena Vlasenko

This author has not been identified. Look up 'Jelena Vlasenko' in Google

Maryam Daryalal

This author has not been identified. Look up 'Maryam Daryalal' in Google

Volker Haarslev

This author has not been identified. Look up 'Volker Haarslev' in Google

Brigitte Jaumard

This author has not been identified. Look up 'Brigitte Jaumard' in Google
runs on