Programming and symbolic computation in Maude

Document Details

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

Entities

People

  • Carolyn Talcott
  • Francisco Durán
  • José Meseguer
  • Narciso Martí-oliet
  • Rubén Rubio
  • Santiago Escobar
  • Steven Eker

Organizations

  • Air Force Office of Scientific Research
  • Generalitat Valenciana
  • Ministry of Economy, Industry and Competitiveness
  • Ministry of Science, Innovation and Universities
  • Office of Naval Research
  • United States Naval Research Laboratory