Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- Decidability (Mathematical logic)
- Computer systems 15
- Verification 15
- Computer science 12
- Mathematics 12
- Logic, Symbolic and mathematical 4
- Algebra, Boolean 2
- Algebra, Universal 2
- Algebraic varieties 2
- CU Boulder 2
- Computable functions 2
- Data processing 2
- Electrical Engineering 2
- Graph theory 2
- Gödel's theorem 2
- Induction (Logic) 2
- Pleonasm 2
- Probabilities 2
- Relation algebras 2
- Reverse mathematics 2
- Statistical decision 2
- Artificial intelligence 1
- Completeness theorem 1
- Computer organization 1
- Computers 1
- Configurations 1
- Data structures (Computer science) 1
- Gödel's theorem 1
- Incompleteness theorems 1
- Many-valued logic 1
-
1
Reachability problems 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings /
Published 2010Full Text (via Springer)
Electronic Conference Proceeding eBook -
2
-
3
Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings /
Published 2013Full Text (via Springer)
Conference Proceeding eBook -
4
Reachability problems 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings /
Published 2020Full Text (via Springer)
Electronic Conference Proceeding eBook -
5
-
6
-
7
Reachability problems : 17th international conference, RP 2023, Nice, France, October 11-13, 2023, proceedings /
Published 2023Full Text (via Springer)
Electronic Conference Proceeding eBook -
8
-
9
-
10
Reachability problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings /
Published 2024Full Text (via Springer)
Conference Proceeding eBook -
11
-
12
Reachability problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings /
Published 2011Full Text (via Springer)
Electronic Conference Proceeding eBook -
13
Decision problems for equational theories of relation algebras /
Published 1997Full Text (via ProQuest)
eBook -
14
-
15
Undecidability, uncomputability, and unpredictability /
Published 2021Full Text (via Springer)
eBook -
16
Reachability problems : 15th international conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
Published 2021Full Text (via Springer)
Conference Proceeding eBook -
17
-
18
Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Published 2017Full Text (via Springer)
Conference Proceeding eBook -
19
-
20