scientific article

From MaRDI portal

Publication:3806811

Jump to:navigation, search

zbMath0658.68045MaRDI QIDQ3806811

Peter van Emde Boas

Publication date: 1988

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

zbMATH Keywords

complexity theory complexity classes symbolic computing propositional inferencing

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30)

This page was built for publication:

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