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}
}

Downloads

No Downloads available for this publication

Related Paths

Biological Systems Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=130


Go back to publications list