共 50 条
- [21] RUPTURE AND COALESCENCE IN 2-DIMENSIONAL CELLULAR-AUTOMATA FLUIDS [J]. PHYSICAL REVIEW E, 1995, 51 (05): : 4353 - 4361
- [24] REVERSIBLE AUTOMATA AND SIMPLE UNIVERSAL 2-DIMENSIONAL THUE SYSTEMS [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (04): : 353 - 384
- [28] THEORY OF 2-DIMENSIONAL WAVEGUIDE TRANSITIONS [J]. DOKLADY AKADEMII NAUK SSSR, 1977, 233 (02): : 323 - 326
- [29] ON STATIC THEORY OF 2-DIMENSIONAL TURBULENCE [J]. JOURNAL OF APPLIED MATHEMATICS AND MECHANICS-USSR, 1969, 33 (05): : 864 - &
- [30] Canonicity for 2-Dimensional Type Theory [J]. POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 337 - 348