|
СТ |
The Calculus of Algebraic Constructions |
1999 |
Blanqui F., Jouannaud J. -P., Okada M. |
|
|
|
Lecture Notes in Computer Science |
15.07.1999 |
|
СТ |
System Description of LAMBDALG - A Higher Order Algebraic Specification Language |
1993 |
Gui Y., Okada M. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.08.1993 |
|
СТ |
LAMBDALG: Higher Order Algebraic Specification Language |
1993 |
Gui Y., Okada M. |
|
|
|
Lecture Notes in Computer Science |
09.07.1993 |
|
СТ |
An Efficient One-Pass Search Algorithm for Parsing Spoken Language |
1992 |
Okada M. |
|
|
|
IEICE Trans. |
28.05.1993 |
|
СТ |
Satisfiability of systems of ordinal notations with the subterm property is decidable |
1991 |
Jouannaud J., Okada M. |
|
|
|
Lecture Notes in Computer Science |
12.09.1991 |
