|
СТ |
A Data Model for XML Database |
2001 |
Wuwongse V., Akama K., Anutariya C., Nantajeewarawat E. |
|
|
|
Lecture Notes in Artificial Intelligence |
04.11.2001 |
|
СТ |
Equivalent Transformation by Safe Extension of Data Structures |
2001 |
Akama K., Koike H., Mabuchi H. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |
|
СТ |
A Theoretical Foundation of Program Synthesis by Equivalent Transformation |
2001 |
Akama K., Koike H., Mabuchi H. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |
|
СТ |
Program Synthesis Based on the Equivalent Transformation Computation Model |
2003 |
Akama K., Nantajeewarawat E., Koike H. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
