A Modular Equational Generalization Algorithm
Published in Lecture notes in computer science • Jan 1, 2009
Authors:,,
Marı́a Alpuente
Santiago Escobar
José Meseguer
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!