Theories of Modules Closed Under Direct Products.

Roger Villemaire

Published in: J. Symb. Log. (1992)

Keyphrases

building blocks
modular structure
case study
evolutionary algorithm
logic programs
defeasible logic
modular architecture