Login / Signup

On the Undecidability of Some Classes of Abelian-by-Finite Groups.

Annalisa MarcjaMike PrestCarlo Toffalori
Published in: Ann. Pure Appl. Log. (1993)
Keyphrases
  • description logics
  • machine learning
  • finite number
  • group members
  • closure properties