Grishin Algebras and Cover Systems for Classical Bilinear Logic.

Robert Goldblatt

Published in: Stud Logica (2011)

Keyphrases

management system
computer systems
artificial intelligence
expert systems
real time
machine learning
information retrieval
information systems
website
control system
intelligent systems
learning systems
complex systems
set theory
proof theory