MTT: The maude termination tool (system description)

Francisco Durán, Salvador Lucas, José Meseguer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationAutomated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings
Pages313-319
Number of pages7
DOIs
StatePublished - 2008
Event4th International Joint Conference on Automated Reasoning, IJCAR 2008 - Sydney, NSW, Australia
Duration: Aug 12 2008Aug 15 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5195 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Joint Conference on Automated Reasoning, IJCAR 2008
Country/TerritoryAustralia
CitySydney, NSW
Period8/12/088/15/08

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this