Sort by
Refine Your Search
-
theoretic quantities Alexei Belov AlgebraRing theory, Specht problem, combinatorial geometry, affine algebraic geometry Lena Bunina Model theory, AI in mathematics, algebraic groupsmodel theory of groups
-
, ergodic theory and fractal geometry Gil Kalai Combinatorics Itay Kaplan Logic, model theory David Kazhdan Representation theory Ori Gurel-Gurevich Probability, random walks, random graphs
Searches related to model checking
Enter an email to receive alerts for model-checking positions