Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

  1. Clavel, M.
  2. Meseguer, J.
  3. Palomino, M.
Revista:
Theoretical Computer Science

ISSN: 0304-3975

Año de publicación: 2007

Volumen: 373

Número: 1-2

Páginas: 70-91

Tipo: Artículo

DOI: 10.1016/J.TCS.2006.12.009 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus