Satoshi Matsuoka;Takuo Watanabe;Yuuji Ichisugi;Akinori Yonezawa
-;-;-;-
Reflection in conditional rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Theoretical Computer Science