Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem.

Robert Söldner Detlef Plump

Published in: ICGT (2023)

Keyphrases

von neumann
theoretical basis
general theory
databases
neural network
information systems
theoretical framework
database
website
multiscale
digital libraries
information technology
control system
conceptual framework