Logic in Computer Science
5 papers in this topic with citation growth data.
Papers
- 0 citations · Feb 2026A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
- 0 citations · Feb 2026Symbolic Model Checking using Intervals of Vectors
- 0 citations · Feb 2026Formal Evidence Generation for Assurance Cases for Robotic Software Models
- 0 citations · Feb 2026On Complete Categorical Semantics for Effect Handlers
- 0 citations · Feb 2026Towards Weak Stratification for Logics of Definitions