DMCA

Defining Standard Prolog in rewriting logic (2001)

by M.Kulas and C. Beierle
Venue:Proc. of the 3rd Int. Workshop on Rewriting Logic and its Applications (WRLA 2000
Citations:7 - 0 self