Decidability of Deterministic Process Equivalence for Finitary Deduction Systems.

Yannick Chevalier Fabian Romero

Published in: PDP (2020)

Keyphrases

complex systems
retrieval systems
genetic algorithm
data sets
data mining
management system
description logics
distributed systems
computer systems
process model