Linear Läuchli Semantics.

Richard Blute Philip J. Scott

Published in: Ann. Pure Appl. Log. (1996)

Keyphrases

semantic information
logic programming
formal semantics
databases
linear systems
real time
image processing
linear constraints
evolutionary algorithm
piecewise linear
proof theory