プロジェクト進捗状況 Brzozowski Derivatives and Top-Down Regular Tree Pattern Matching
スポンサーリンク
概要
著者
関連論文
- プロジェクト28 緊急情報ネットワークシステムの構築--モバイルP2Pによる住民主導型アプローチの提案 進捗状況報告 匿名型P2P通信における流通情報の信頼度評価に関する検討
- 3-320 中部大学工学部情報工学科における創成科目の取り組み(口頭発表論文,オーガナイズドセッション「エンジニアリングデザイン」-VII-デザイン科目研究(3))
- 遅延ナローイング抽象機械
- 関数・論理型言語のためのナローイング計算系
- 安定結婚アルゴリズムに基づく卒業研究配属の事例研究
- 遅延ナローイング抽象機械のシミュレータ
- 遅延ナローイング抽象機械のアーキテクチャ
- 遅延ナローイング計算系に基づく言語Evとその処理系
- ユーザ毎に変更可能な仮想ディレクトリ構造に基づくWeb文書の構造化(オフィスインフォメーションシステム,グループウエア及び一般)
- ユーザ毎に変更可能な仮想ディレクトリ構造に基づくWeb文書の構造化(オフィスインフォメーションシステム,グループウェア及び一般)
- 匿名型Peer-to-Peer通信における流通情報の信頼度評価行動に関する検討
- Context capturing in XML document processing based on regular tree pattern matching
- プロジェクト進捗状況 Brzozowski Derivatives and Top-Down Regular Tree Pattern Matching
- A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents
- 抽象高階書換え系におけるナローイング
- λ項を用いた抽象ナローイングとその完全性
- 遅延ナローイングに基づく言語Evの等式翻訳方法
- 格子型ピア対ピア計算におけるピアの配置交換
- 拡張ポジションオートマトンを生成するモナド結合子
- 拡張ポジションオートマトンを生成するモナド結合子