Media type: E-Article Title: Computer Science Logic: Logical definability of NP-optimisation problems with monadic auxiliary predicates Contributor: Lautemann, Clemens Published: Springer Berlin Heidelberg, 1993 Published in: Computer Science Logic (1993), Seite 327-339 Language: Not determined DOI: 10.1007/3-540-56992-8_19 ISBN: 9783540569923; 9783540478904 ISSN: 1611-3349; 0302-9743 Origination: Footnote: