The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 16, 2020
Source ID
10.1007/s10817-020-09542-3

Entities

People

  • José Meseguer
  • Raúl Gutiérrez
  • Salvador Lucas

Organizations

  • Ministry of Education, Research, Culture and Sport
  • National Science Foundation
  • Technical University of Valencia
  • United States Naval Research Laboratory