Ground confluence of order-sorted conditional specifications modulo axioms

Document Details

Document Type
Pub Defense Publication
Publication Date
Feb 01, 2020
Source ID
10.1016/j.jlamp.2019.100513

Entities

People

  • Camilo Rocha
  • Francisco Durán
  • José Meseguer

Organizations

  • Coordenação de Aperfeicoamento de Pessoal de Nível Superior
  • Institut National de Recherche en Informatique et en Automatique
  • Ministry of Economy, Industry and Competitiveness
  • Ministry of Science, Technology and Innovation
  • United States Naval Research Laboratory