scientific article; zbMATH DE number 5033853

zbMath1103.03033MaRDI QIDQ5472892

Mark-Oliver Stehr

Publication date: 19 June 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

type theoryrewriting logicequational specification

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (3)

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types ⋮ Twenty years of rewriting logic ⋮ Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules

This page was built for publication: