共 50 条
- [21] Lifted java: A minimal calculus for translation polymorphism Lect. Notes Comput. Sci., (179-193):
- [22] The calculus of backwater curve on the man-made channel UPB Scientific Bulletin, Series D: Mechanical Engineering, 2010, 72 (04): : 175 - 182
- [23] Multiple travelling wave solutions of two newly generalized Ito systems Wuli Xuebao, 2 (349-355):
- [24] Space-Efficient Functional Offline-Partially-Persistent Trees with Applications to Planar Point Location Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14079 LNCS : 644 - 659
- [25] A Java-like Calculus with User-Defined Coeffects CEUR Workshop Proceedings, 2022, 3284 : 66 - 78
- [27] Many-valued paraconsistent extensions of classical positive propositional calculus J. App. Logics, 2 (229-253): : 229 - 253
- [29] Provably correct Java implementations of Spi Calculus security protocols specifications Comput Secur, 3 (302-314):
- [30] BASES OF BICOMPLEX CALCULUS AND ITS APPLICATION TO CALCULATION OF ELECTROMECHANICAL SYSTEMS WITH MODULATION. 1978, (01): : 53 - 65