Inter-procedural Two-Variable Herbrand Equalities.

Stefan Schulze Frielinghaus Michael Petter Helmut Seidl

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

Keyphrases

function symbols
logic programs
first order logic
logic programming
object oriented
graphical models
information retrieval
e learning
image sequences
evolutionary algorithm