English S2S (mathematics) Cited by user Dmytro on 14 Nov 2022 In mathematics, S2S is the monadic second order theory with two successors. It is one of the most expressive natural decidable theories known, with many decidable…
English Conjunctive query Cited by user A3nm on 23 May 2019 In database theory, a conjunctive query is a restricted form of first-order queries using the logical conjunction operator.
English Enumeration algorithm Cited by user A3nm on 23 May 2019 In computer science, an enumeration algorithm is an algorithm that enumerates the answers to a computational problem.