12 results on '"Minamide, Yasuhiko"'
Search Results
2. 非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定
3. Isabelle/HOLによる高階確率的プログラム検証
4. 先読み付き文脈自由文法とその微分
5. 正規表現マッチングの計算量解析ツールの拡張と高速化
6. 先読み付き文脈自由文法の微分
7. バックトラックによる正規表現マッチングの計算量判定の実装
8. 先読み付き正規表現と解析表現の微分
9. Streaming String Transducerの合成の形式的証明
10. 語の包含判定に基づくサニタイズ文脈の自動決定
11. バックトラックによる正規表現マッチングの時間計算量解析
12. 更新可能時間オートマトンの新たな拡張について
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.