Article,
Formally Verified Tableau-Based Reasoners for a Description Logic.
M. Hidalgo-Doblado, J. Alonso-Jiménez, J. Borrego-Díaz, F. Martín-Mateos, and J. Ruiz-Reina.J. Autom. Reason., 52 (3): 331-360 (2014)
Meta data
- BibTeX key
- journals/jar/Hidalgo-DobladoABMR14
- entry type
- article
- year
- 2014
- journal
- J. Autom. Reason.
- number
- 3
- pages
- 331-360
- volume
- 52
- ee
- https://doi.org/10.1007/s10817-013-9291-8
- url
- http://dblp.uni-trier.de/db/journals/jar/jar52.html#Hidalgo-DobladoABMR14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/jar/Hidalgo-DobladoABMR14
%A Hidalgo-Doblado, María-José
%A Alonso-Jiménez, José A.
%A Borrego-Díaz, Joaquín
%A Martín-Mateos, Francisco-Jesús
%A Ruiz-Reina, José-Luis
%D 2014
%J J. Autom. Reason.
%K dblp
%N 3
%P 331-360
%T Formally Verified Tableau-Based Reasoners for a Description Logic.
%U http://dblp.uni-trier.de/db/journals/jar/jar52.html#Hidalgo-DobladoABMR14
%V 52
@article{journals/jar/Hidalgo-DobladoABMR14,
added-at = {2020-09-02T00:00:00.000+0200},
author = {Hidalgo-Doblado, María-José and Alonso-Jiménez, José A. and Borrego-Díaz, Joaquín and Martín-Mateos, Francisco-Jesús and Ruiz-Reina, José-Luis},
biburl = {https://www.bibsonomy.org/bibtex/280fb40eb98bc7012fecc3407ee3b7965/dblp},
ee = {https://doi.org/10.1007/s10817-013-9291-8},
interhash = {d3887bcf0c056625c74d6865081323eb},
intrahash = {80fb40eb98bc7012fecc3407ee3b7965},
journal = {J. Autom. Reason.},
keywords = {dblp},
number = 3,
pages = {331-360},
timestamp = {2020-09-09T13:34:35.000+0200},
title = {Formally Verified Tableau-Based Reasoners for a Description Logic.},
url = {http://dblp.uni-trier.de/db/journals/jar/jar52.html#Hidalgo-DobladoABMR14},
volume = 52,
year = 2014
}