scientific article

From MaRDI portal

Publication:3342533

Jump to:navigation, search

zbMath0549.03011MaRDI QIDQ3342533

H. R. Wüthrich

Publication date: 1981

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

zbMATH Keywords

real closed field decision algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25)

This page was built for publication:

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