- Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics George Kaye Fri 18 April 2025
- Probability and Angelic Nondeterminism with Multiset Semantics Shawn Ong Stephanie Ma Dexter Kozen Tue 10 December 2024
- Algebraic Tools for Computing Polynomial Loop Invariants Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet Tue 10 December 2024
- Axiomatization of Compact Initial Value Problems: Open Properties André Platzer Long Qian Fri 18 October 2024
- Functorial String Diagrams for Reverse-Mode Automatic Differentiation Mario Alvarez-Picallo Dan R. Ghica David Sprunger Fabio Zanasi Fri 02 March 2012
Library Size: 13G (5 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
