Struth, Georg Programming Logics, MPI for Informatics, Max Planck Society;
1996-2-004 (全文テキスト(全般)), 11KB
Struth, G.(1996). Non-symmetric rewriting (MPI-I-1996-2-004). Saarbrücken: Max-Planck-Institut für Informatik.