Pages that link to "Item:Q5504122"
From MaRDI portal
The following pages link to The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories (Q5504122):
Displaying 4 items.
- Lower bounds and the hardness of counting properties (Q703531) (← links)
- A second step towards complexity-theoretic analogs of Rice's Theorem (Q1575716) (← links)
- Undecidability and incompleteness results in automata theory (Q2776606) (← links)
- Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" * Logic Journal of the IGPL, 16(6): 585-590(2008) (Q3653149) (← links)