Sign in
Order-Sorted Equality Enrichments Modulo Axioms.
Raúl Gutiérrez
José Meseguer
Camilo Rocha
Published in:
WRLA (2012)
Keyphrases
</>
order sorted
predicate logic
meta analysis
knowledge base
first order logic
axiomatic characterization
neural network
genetic algorithm
software engineering
horn clauses
fixpoint