Automated Deduction – CADE-19

DOI10.1007/b11829zbMath1278.68185OpenAlexW2483160171MaRDI 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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting, Equational approximations for tree automata completion, Hierarchical Design Rewriting with Maude, Equational Abstractions for Reducing the State Space of Rewrite Theories