DECIDABILITY OF REASONING UNDER THE WELL-FOUNDED SEMANTICS (2010)
by
Prof Dr
,
Steffen Hölldobler
BibTeX
@MISC{Dr10decidabilityof,
author = {Prof Dr and Steffen Hölldobler},
title = {DECIDABILITY OF REASONING UNDER THE WELL-FOUNDED SEMANTICS},
year = {2010}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Acknowledgements vi
