|
СТ |
Constraint Functional Logic Programming for Origami Construction |
2003 |
Ida T., Marin M., Takahashi H. |
|
|
|
Lecture Notes in Computer Science |
20.12.2003 |
|
СТ |
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming |
1995 |
Nakahara K., Middeldorp A., Ida T. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Lazy Narrowing: Strong Completeness and Eager Variable Elimination |
1995 |
Okui S., Middeldorp A., Ida T. |
|
|
|
Lecture Notes in Computer Science |
20.06.1995 |
|
СТ |
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides |
1995 |
Suzuki T., Middeldorp A., Ida T. |
|
|
|
Lecture Notes in Computer Science |
27.04.1995 |
|
СТ |
Abstract Machine Approach to Operational Semantics of Prolog |
1992 |
Ida T., Nakamura A., Suzuki T., Nakagawa K. |
|
|
|
J. Information Processing |
24.06.1993 |
|
СТ |
Overview of MC/LISP System |
1990 |
Ida T., Matsuno T. |
|
|
|
J. Information Processing |
27.06.1991 |
