Cargando…

Interpolation and Amalgamation for Arrays with MaxDiff

In this paper, the theory of McCarthy’s extensional arrays enriched with a maxdiff operation (this operation returns the biggest index where two given arrays differ) is proposed. It is known from the literature that a diff operation is required for the theory of arrays in order to enjoy the Craig in...

Descripción completa

Detalles Bibliográficos
Autores principales: Ghilardi, Silvio, Gianola, Alessandro, Kapur, Deepak
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984124/
http://dx.doi.org/10.1007/978-3-030-71995-1_14