×

Found 2 Documents (Results 1–2)

Complexity classes and rewrite systems with polynomial interpretation. (English) Zbl 0934.03052

Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 372-384 (1999).
MSC:  03D15 68Q15 68Q42
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field