Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates

Clemens Lautemann. Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Volume 702 of Lecture Notes in Computer Science, pages 327-339, Springer, 1992.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.