On Positive Theories of Groups with Regular Free Length Functions.

Bilal Khan Alexei G. Myasnikov Denis E. Serbin

Published in: Int. J. Algebra Comput. (2007)

Keyphrases

positive and negative
information systems
multiscale
multi agent
search algorithm
computational model
causal reasoning
randomly assigned