Login / Signup
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic.
Jörg Endrullis
Helle Hvid Hansen
Dimitri Hendriks
Andrew Polonsky
Alexandra Silva
Published in:
Log. Methods Comput. Sci. (2018)
Keyphrases
</>
artificial intelligence
modal logic
logic programming
multi valued
rewriting rules
data mining
bayesian networks
theorem proving
datalog programs
machine learning
expressive power
temporal logic
computational properties
lattice theory