- Adequacy and Complete Axiomatization for Timed Modal Logic Samy Jaziri Kim G. Larsen Radu Mardare Bingtian Xue Mon 04 May 2020
- Inclusion Dependencies and Their Interaction with Functional Dependencies Marco A. Casanova Ronald Fagin Christos H. Papadimitriou Tue 29 July 2014
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
