FOREWORD
スポンサーリンク
概要
- 論文の詳細を見る
- （社）電子情報通信学会の論文
- 2010-05-01
著者
関連論文
- Layered Transducing Term Rewriting System and Its Recognizability Preserving Property (Special Issue on Selected Papers from LA Symposium)
- Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable
- Finite State Translation Systems and Parallel Multiple Context-Free Grammars
- Policy Controlled System and Its Model Checking
- Decidability of the Security Verification Problem for Programs with Stack Inspection
- Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation
- Comparison of the Expressive Power of Language-Based Access Control Models
- FOREWORD
- Error Control for High-density Monochrome Two-dimensional Barcodes
- LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations