Semantical Analysis of the Logic of Bunched Implications.

Alexander V. Gheorghiu David J. Pym

Published in: CoRR (2022)

Keyphrases

quantitative analysis
classical logic
machine learning
information systems
high level
statistical analysis
automatic analysis
database
multi agent
user interface
programming language