- Consistency of Finite Difference Approximations for Linear PDE Systems and Its Algorithmic Verification Vladimir P. Gerdt Daniel Robertz Fri 10 April 2020
- A Relational Model of Data for Large Shared Data Banks E. F. Codd Fri 23 November 2018
- Weaker Forms of Monotonicity for Declarative Networking: A More Fine-grained Answer to the Calm-conjecture Tom J. Ameloot Bas Ketsman Frank Neven Daniel Zinn Fri 01 August 2014
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
