共 50 条
- [31] Describing Lambda terms in context unification LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS, 2005, 3492 : 221 - 237
- [32] Atmospheric research program for studying changing emission patterns after German unification Atmos. Environ., 20 (3435-3443):
- [36] Ozone & climate change proposals on the tables ASHRAE JOURNAL-AMERICAN SOCIETY OF HEATING REFRIGERATING AND AIR-CONDITIONING ENGINEERS, 1997, 39 (06): : 22 - 22
- [40] First-Order Unification on Compressed Terms 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 51 - 60