corpus.blog
Claim your blog
Record · corpus.blog/posts/01a0c521-2ebf-721c-9ee9-737302312cbc

Deciding Theories

constantinides.net · published 13 April 2022

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at constantinides.net Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
26
Words captured
607

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/List_of_first-order_theories
en.wikipedia.org
https://en.wikipedia.org/wiki/Computational_complexity
en.wikipedia.org
https://en.wikipedia.org/wiki/Decidability_(logic
en.wikipedia.org
https://link.springer.com/book/10.1007/978-3-540-74113-8
link.springer.com
https://en.wikipedia.org/wiki/Big_O_notation
en.wikipedia.org
https://doi.org/10.1145/322217.322228
doi.org
https://en.wikipedia.org/wiki/Peano_axioms
en.wikipedia.org
http://en.wikipedia.org/wiki/Presburger_arithmetic
en.wikipedia.org
https://link.springer.com/chapter/10.1007/978-3-7091-9459-1_5
link.springer.com
https://doi.org/10.1016/0022-0000(78
doi.org
https://en.wikipedia.org/wiki/NP-completeness
en.wikipedia.org
https://doi.org/10.1090/S0002-9947-1984-0742421-9
doi.org
http://www.cs.cmu.edu/~emc/spring06/home1_files/Cooper.pdf
cs.cmu.edu
https://en.wikipedia.org/wiki/Decidability_of_first-order_theories_of_the_real_numbers
en.wikipedia.org
https://en.wikipedia.org/wiki/Cylindrical_algebraic_decomposition
en.wikipedia.org
https://doi.org/10.1137/0204006
doi.org
https://en.wikipedia.org/wiki/Time_complexity
en.wikipedia.org
https://doi.org/10.1109/LICS.2001.932480
doi.org
https://en.wikipedia.org/wiki/Theory_of_pure_equality
en.wikipedia.org
http://en.wikipedia.org/wiki/Real_closed_field
en.wikipedia.org
https://smtlib.cs.uiowa.edu/theories-Reals.shtml
smtlib.cs.uiowa.edu
https://en.wikipedia.org/wiki/Torsion-free_abelian_group
en.wikipedia.org
https://en.wikipedia.org/wiki/Immutable_object
en.wikipedia.org
https://smtlib.cs.uiowa.edu/theories-ArraysEx.shtml
smtlib.cs.uiowa.edu
https://doi.org/10.1145/357073.357079
doi.org
https://monteverdi.informatik.uni-freiburg.de/tomcat/Website/?ui=tool&tool=eliminator
monteverdi.informatik.uni-freiburg.de