Axioms and Models of Linear Logic.

Wim H. Hesselink

Published in: Formal Aspects Comput. (1990)

Keyphrases

linear logic
data model
artificial intelligence
knowledge base
expert systems
general purpose
spatial information