Bibtex:TeReSe03

From Termination-Portal.org
Jump to: navigation, search

BibTex

Marc Bezem, Jan Willem Klop, Roel de Vrijer - Term Rewriting Seminar -- Terese
Cambridge University Press,2003
Bibtex
Author :
Title : Term Rewriting Seminar -- Terese
In : -
Address :
Date : 2003
Personal tools