Login / Signup
A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic.
Ian Shillito
Dominik Kirst
Published in:
CPP (2024)
Keyphrases
</>
artificial intelligence
probabilistic model
object oriented
database design