|
СТ |
A Formal Specification of JavaTM Virtual Machine Instructions for Objects, Methods and Subroutines |
1999 |
Qian Z. |
|
|
|
Lecture Notes in Computer Science |
03.07.1999 |
|
СТ |
Higher-Order Equational Logic Programming |
1994 |
Qian Z. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
СТ |
Higher-Order E-Unification for Arbitrary Theories |
1992 |
Qian Z., Wang K. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
15.12.1994 |
|
СТ |
Modular AC Unification of Higher-Order Patterns |
1994 |
Qian Z., Wang K. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
|
СТ |
Linear Unification of Higher-Order Patterns |
1993 |
Qian Z. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
