scientific article; zbMATH DE number 1860625
From MaRDI portal
Publication:4790352
zbMath1056.68162MaRDI QIDQ4790352
Kazuhiro Ogata, Kokichi Futatsugi
Publication date: 2 June 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs ⋮ Unnamed Item ⋮ Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
This page was built for publication:
