Algebra and Coalgebra in Computer Science

DOI10.1007/11548133zbMath1151.68452OpenAlexW249899439MaRDI QIDQ5492833

Prasanna Thati, José Meseguer

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11548133

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Complete symbolic reachability analysis using back-and-forth narrowing ⋮ Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

This page was built for publication: Algebra and Coalgebra in Computer Science