Evaluating the Complexity of Mathematical Problems. Part 1 (2009)

Cached

Download Links

by C. S. Calude , Elena Calude
Citations:1 - 0 self

Active Bibliography

Mathematical Problems. Part 1 ∗ – C. S. Calude, Elena Calude, Cristian S. Calude, Elena Calude - 2008
2 The Complexity of the Four Colour Theorem – Cristian S. Calude, Elena Calude - 2009
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
543 Model Theory – Wilfrid Hodges - 2000
400 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
338 Constraint Query Languages – Paris C. Kanellakis , Gabriel M. Kuper, Peter Z. Revesz - 1992
10 A New Measure of the Difficulty of Problems – Cristian S. Calude, Elena Calude, Michael J. Dinneen - 2006
273 An Analysis of First-Order Logics of Probability – Joseph Y. Halpern - 1990
265 ORDERINGS FOR TERM-REWRITING SYSTEMS – Nachum Dershowitz - 1982