1. Kyoto University Research Information Repository

ブラウズ : 著者 PHILLIPS, IAIN

移動: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
あるいは、最初の数文字を入力してください（日本語はこちらのみ可）:  
検索結果表示: 1 - 1 / 1
書誌情報ファイル
ORDERED SOS RULES AND WEAK BISIMULATION(Concurrency Theory and Applications '96)
  PHILLIPS, IAIN; ULIDOWSKI, IREK (1997-05)
  数理解析研究所講究録, 996: 195-206
file type icon
検索結果表示: 1 - 1 / 1