cfaed Publications

Many-valued horn logic is hard

Reference

Stefan Borgwardt, Marco Cerami, Rafael Peñaloza, "Many-valued horn logic is hard" , 2014.

Bibtex

@inproceedings{borgwardt2014many,
title={Many-valued horn logic is hard},
author={Borgwardt, Stefan and Cerami, Marco and Pe{\~n}aloza, Rafael},
year={2014}
}

Downloads

No Downloads available for this publication

Related Paths

Resilience Path

Permalink

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


Go back to publications list