Results 231 to 240 of about 901,419 (279)
Some of the next articles are maybe not open access.

Related searches:

An algorithm for computing theory prime implicates in first order logic

International Journal of Information and Communication Technology, 2007
An algorithm based on consensus method to compute the set of prime implicates of a quantifier free first order formula X was presented in an earlier work. In this paper the notion of prime implicates is extended to theory prime implicates in the first order case.
Arindama Singh, Manoj K. Raut
openaire   +3 more sources

The spectrum of equivariant Kasparov theory for cyclic groups of prime order

Annals of K-theory, 2020
We compute the Balmer spectrum of the equivariant bootstrap category of separable $G$-C*-algebras when $G$ is a group of prime order.
Ivo Dell’Ambrogio, R. Meyer
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy