Combining Specification Formalisms in the ?General Logic? of Multialgebras.

Yngve Lamo Michal Walicki

Published in: WADT (2002)

Keyphrases

special case
closely related
high level
logic programming
artificial intelligence
modal logic
classical logic
neural network
np complete
formal logic