Ground Term Confluence in Parametric Conditional Equational Specifications.

Harald Ganzinger

Published in: STACS (1987)

Keyphrases

theorem proving
theorem prover
high level
regularization term
multiscale
delay insensitive
equational theories
real time
conditional probabilities
inference rules
conditional logic
asynchronous circuits
parametric representation