| 概要 | .... 2 | |
| 1 | Introduction | .... 3 |
| 2 | Objects of QUIVXOTE | .... 3 |
| 3 | Labeled Graphs | .... 4 |
| 4 | Subsumption Relation over Labeled Graphs | .... 5 |
| 5 | Solvabillity of Constraints over Labeled Graphs | .... 6 |
| 6 | Inhieritance of Attributes | .... 8 |
| 7 | Modules | .... 9 |
| Acknowledgement | .... 9 | |
| References | .... 9 | |
| End | .... 10 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports