Suggested Topics within your search.
Showing 1 - 20 results of 34 for search '', query time: 0.08s Refine Results
  1. 1
    Thinking about acting : logical foundations for rational decision making /

    Thinking about acting : logical foundations for rational decision making / by Pollock, John L.

    Published 2006
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  2. 2
    Undecidable theories

    Undecidable theories

    Published 1953
    Full Text (via ScienceDirect)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Deducibility and decidability

    Deducibility and decidability by Gill, R. R. Rockingham, 1944-

    Published 1990
    Full Text (via Taylor & Francis)
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Reachability problems : 17th international conference, RP 2023, Nice, France, October 11-13, 2023, proceedings /

    Reachability problems : 17th international conference, RP 2023, Nice, France, October 11-13, 2023, proceedings /

    Published 2023
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  5. 5
    Reachability problems 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings /

    Reachability problems 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings /

    Published 2020
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Decidability and Boolean representations /

    Decidability and Boolean representations / by Burris, Stanley

    Published 1981
    Book
    Save to List
    Saved in:
  7. 7
    Decision problems for equational theories of relation algebras /

    Decision problems for equational theories of relation algebras / by Andréka, H.

    Published 1997
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  8. 8
    Computational methods for determining boolean equivalence /

    Computational methods for determining boolean equivalence / by Jacoby, Reily Malcolm

    Published 1989
    Thesis Book
    Save to List
    Saved in:
  9. 9
    Deducibility and Decidability.

    Deducibility and Decidability. by Gill, R. R. Rockingham

    Published 1990
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  10. 10
    Algorithms for multi-level tautology and equivalence /

    Algorithms for multi-level tautology and equivalence / by Jacoby, Reily Malcolm

    Published 1986
    Thesis Book
    Save to List
    Saved in:
  11. 11
    Decidability and Boolean representations /

    Decidability and Boolean representations / by Burris, Stanley, McKenzie, Ralph

    Published 1981
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  12. 12
    Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /

    Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / by Hirschfeldt, Denis Roman, Lange, Karen, 1980-, Shore, Richard A., 1946-

    Published 2017
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  13. 13
    Cornerstones of undecidability /

    Cornerstones of undecidability / by Rozenberg, Grzegorz

    Published 1994
    Book
    Save to List
    Saved in:
  14. 14
    Reachability problems : 15th international conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /

    Reachability problems : 15th international conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /

    Published 2021
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  15. 15
    Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /

    Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / by Hirschfeldt, Denis Roman, Lange, Karen, 1980-, Shore, Richard A., 1946-

    Published 2017
    Online Access
    eBook
    Save to List
    Saved in:
  16. 16
    Reachability problems : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /

    Reachability problems : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /

    Published 2018
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  17. 17
    Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /

    Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /

    Published 2017
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  18. 18
    The classical decision problem /

    The classical decision problem / by Börger, E. (Egon), 1946-

    Published 1997
    Book
    Save to List
    Saved in:
  19. 19
    Reachability problems 16th international conference, RP 2022 /

    Reachability problems 16th international conference, RP 2022 /

    Published 2022
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Decision problems for equational theories of relation algebras /

    Decision problems for equational theories of relation algebras / by Andréka, H.

    Published 1997
    Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search