... INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, ... infl = w = infj = w (for all w provided that deg(w) < a.) ...
確定! 回上一頁