A Strong Bisimulation for a Classical Term Calculus.

Eduardo Bonelli Delia Kesner Andrés Viso

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

databases
graph model
information systems
formal language
algebraic structure