RDF/XML JSON-LD N3/Turtle RDF/JSON

Raya Castellano, Rodrigo Javier rodrigo.raya@upm.es

SISTEMAS INFORMÁTICOS / Universidad Politécnica de Madrid

Publications

Modular derivation of decision procedures for extensions of the algebraic theory of arrays

  • Raya, Rodrigo
  • Ringeissen, Christophe

Journal of Logical and Algebraic Methods in Programming - 1/9/2026

10.1016/j.jlamp.2026.101132 View at source

  • ISSN 15678326

This researcher has no books.

This researcher has no book chapters.

This researcher has no conferences.

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

  • This researcher does not have any profiles.
Last data update: 8/31/26 7:16 PM