Safe Operators: Brackets Closed Forever Optimizing Optimal λ-Calculus Implementations Andrea AspertiJuliusz Chroboczek Pages: 437 - 468
Improved (T, M, S)-net Parameters from the Gilbert-Varshamov Bound Andrew T. ClaymanGary L. Mullen Pages: 491 - 496
A Resultant Theory for the Systems of Two Ordinary Algebraic Differential Equations Giuseppa Carra’-Ferro Pages: 539 - 560