Confluence for abstract and higher-order rewriting
OOSTROM, Vincent van, Prof.dr. Jan Willem Klop
Kata Kunci : Matematika,Komputer,Metode Kalkulus