共 50 条
- [7] On the arithmetic operational complexity for solving Vandermonde linear equations Japan Journal of Industrial and Applied Mathematics, 2000, 17 : 15 - 18
- [9] A proof theory of right-linear (ω-)grammars via cyclic proofs PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
- [10] ON COMPLEXITY, GRAMMARS AND THE INFERRING OF MODELS ZEITSCHRIFT FUR NATURFORSCHUNG SECTION A-A JOURNAL OF PHYSICAL SCIENCES, 1993, 48 (5-6): : 651 - 654