Towards a Behavioral Algebraic Theory of Logical Valuations.

Carlos Caleiro Ricardo Gonçalves

Published in: Fundam. Informaticae (2011)

Keyphrases

linear algebra
formal theory
computer algebra
theoretical foundation
mathematical theory
algebraic geometry
real time
bayesian networks
knowledge representation
theoretical framework
mechanism design
general theory
difference equations
logical theories