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