Dynamic Separation Logic.

Frank S. de Boer Hans-Dieter A. Hiep Stijn de Gouw

Published in: CoRR (2023)

Keyphrases

real time
logic programming
dynamic environments
information systems
face recognition
multiscale
asynchronous circuits
search engine
website
case study
expert systems
control system
dynamically changing
predicate logic