Tactics and Certificates in Meta Dedukti.

Raphaël Cauderlier

Published in: ITP (2018)

Keyphrases

access control
meta level
public key
graph transformation
databases
image sequences
data structure
expert systems
domain knowledge
meta reasoning