Easy solutions for a hard problem? : the computational complexity of reciprocals with quantificational

DSpace Repositorium (Manakin basiert)

Easy solutions for a hard problem? : the computational complexity of reciprocals with quantificational

Autor(en): Schlotterbeck, Fabian; Bott, Oliver
Tübinger Autor(en):
Schlotterbeck, Fabian
Bott, Oliver
Erschienen in: Journal of logic, language and information - Dordrecht [u.a.] : Springer Science + Business Media B.V. (2013), Bd. 22, H. 4, S. 363-390
Sprache: Englisch
Referenz zum Volltext: https://doi.org/10.1007/s10849-013-9181-9
Dokumentart: Wissenschaftlicher Artikel
Verbund-Nachweis: 1868859320
Zur Langanzeige

Das Dokument erscheint in: