A Program Logic for Fresh Name Generation.

Harold Pancho Eliott Martin Berger

Published in: FSEN (2021)

Keyphrases

logic programming
declarative semantics
data sets
databases
classical logic
program execution
logical representation
database
social networks
case study
natural language
logical framework
set theory
formal theory
control program
delay insensitive