Automated Deduction – CADE-19
From MaRDI portal
Publication:5900706
DOI10.1007/b11829zbMath1278.68185MaRDI QIDQ5900706
Miguel Palomino, José Meseguer, Narciso Martí-Oliet
Publication date: 20 April 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11829
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
Related Items
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting, Hierarchical Design Rewriting with Maude, Equational Abstractions for Reducing the State Space of Rewrite Theories, Equational approximations for tree automata completion