Order-Sorted Generalization

From MaRDI portal
Publication:4982625

DOI10.1016/j.entcs.2009.07.013zbMath1347.68193OpenAlexW1994644428WikidataQ57978185 ScholiaQ57978185MaRDI QIDQ4982625

José Meseguer, Santiago Escobar, Pedro Ojeda, María Alpuente

Publication date: 9 April 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.013




Related Items (13)


Uses Software


Cites Work




This page was built for publication: Order-Sorted Generalization