iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/amast/KawaguchiSI96.rdf
Nobuo Kawaguchi et al.: TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems. (1996) conf/amast/KawaguchiSI96 10.1007/BFB0014344 TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems. 3 Nobuo Kawaguchi 1 Toshiki Sakabe 2 Yasuyoshi Inagaki 3 571-574 AMAST AMAST 1996 1996 provenance information for RDF data of dblp record 'conf/amast/KawaguchiSI96' 2018-11-30T13:32:38+0100