Recent trends in algebraic development techniques. 12th international workshop, WADT '97, Tarquinia, Italy, June 3--7, 1997. Selected papers

zbMath0889.00030MaRDI QIDQ1386227

No author found.

Publication date: 15 May 1998

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

zbMATH Keywords

ProceedingsWorkshopAlgebraic development techniquesTarquinia (Italy)WADT '97

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (3)

Modularity in term rewriting revisited ⋮ Twenty years of rewriting logic ⋮ Behavioral abstraction is hiding information

This page was built for publication: Recent trends in algebraic development techniques. 12th international workshop, WADT '97, Tarquinia, Italy, June 3--7, 1997. Selected papers