scientific article

From MaRDI portal

Publication:3032237

Jump to:navigation, search

zbMath0691.03022MaRDI QIDQ3032237

Ulrich Löwen, Egon Börger

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

syntactic restrictions computational complexity of decision problems logical characterizations of complexity classes semantic restrictions syntactic enrichment

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3032237&oldid=16073440"