共 50 条
- [3] Basic formalisms and definitions INTERACTING CODE MOTION TRANSFORMATIONS: THEIR IMPACT AND THEIR COMPLEXITY, 1999, 1539 : 9 - 15
- [6] Hardness of Preorder Checking for Basic Formalisms LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 119 - 135
- [8] Some basic properties of bigeometric calculus and its applications in numerical analysis Afrika Matematika, 2021, 32 : 211 - 227