Second-Order Algebraic Theories.

Marcelo P. Fiore Ola Mahmoud

Published in: CoRR (2013)

Keyphrases

higher order
high order
theoretical framework
defeasible logic
difference equations
real world
fourth order
algebraic expressions
database
database systems