cfaed Publications
Towards fast Atomic Decomposition using Axiom Dependency Hypergraphs⋆
Reference
Francisco Martin-Recuerda, Dirk Walther, "Towards fast Atomic Decomposition using Axiom Dependency Hypergraphs⋆", In Proc. of WoMO, vol. 13, pp. 61–72, 2013.
Bibtex
@article{martin2013towards,
title={Towards fast Atomic Decomposition using Axiom Dependency Hypergraphs⋆},
author={Mart{\i}n-Recuerda, Francisco and Walther, Dirk},
journal={Proc. of WoMO},
volume={13},
pages={61--72},
year={2013}
}
title={Towards fast Atomic Decomposition using Axiom Dependency Hypergraphs⋆},
author={Mart{\i}n-Recuerda, Francisco and Walther, Dirk},
journal={Proc. of WoMO},
volume={13},
pages={61--72},
year={2013}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=130