Login / Signup

Comparing First Order Theories of Modules over Group Rings.

Saverio CittadiniCarlo Toffalori
Published in: Math. Log. Q. (2002)
Keyphrases
  • theory revision
  • higher order
  • multi agent systems
  • first order logic
  • group membership
  • building blocks
  • group members
  • modular architecture