Výsledky vyhledávání - "Theory of computation Models of computation Computability"
-
1
No-Rainbow Problem and the Surjective Constraint Satisfaction Problem
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…The Surjective Constraint Satisfaction Problem (SCSP) is the problem of deciding whether there exists a surjective assignment to a set of variables subject…”
Získat plný text
Konferenční příspěvek -
2
Type Theory based on Dependent Inductive and Coinductive Types
ISBN: 9781450343916, 1450343910Vydáno: New York, NY, USA ACM 05.07.2016Vydáno v Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)“…We develop a dependent type theory that is based purely on inductive and coinductive types, and the corresponding recursion and corecursion principles. This…”
Získat plný text
Konferenční příspěvek
