Representation of Peano Arithmetic in Separation Logic.

Sohei Ito Makoto Tatsuta

Published in: FSCD (2024)

Keyphrases

multi valued
information retrieval
database
data sets
natural language
logic programs
logic programming
logical framework