共 50 条
- [43] Linear parallel algorithms to compute strong and branching bisimilarity Software and Systems Modeling, 2023, 22 : 521 - 545
- [44] Algorithms that compute test drivers in object oriented testing 2001 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-7, 2001, : 115 - 119
- [46] Fast algorithms to compute the elementary operators of Mathematical Morphology X BRAZILIAN SYMPOSIUM ON COMPUTER GRAPHICS AND IMAGE PROCESSING, PROCEEDINGS, 1997, : 163 - 170
- [47] Signature-based Algorithms to Compute Grobner Bases ISSAC 2011: PROCEEDINGS OF THE 36TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2011, : 99 - 106
- [49] A METHOD FOR DESIGNING ALGORITHMS TO COMPUTE VISCOUS INCOMPRESSIBLE FLOWS USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1990, 30 (06): : 86 - 92