×

Found 13 Documents (Results 1–13)

The complexity class \(\varTheta^\mathrm{p}_2\): recent results and applications in AI and modal logic. (English) Zbl 1507.68121

Chlebus, Bogdan S. (ed.) et al., Fundamentals of computation theory. 11th international symposium, FCT ’97, Jagiellonian Univ., Kraków, Poland, September 1–3, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1279, 1-18 (1997).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

all top 3

Software