⚡ Process Calculi - tiferrei · Scour

Determinacy with Priorities up to Clocks 📐Hoare Logic

arxiv.org·5d

Sir Tony Hoare obituary 📐Hoare Logic

theguardian.com·2d·Hacker News

Optimal Single-Pass Streaming Lower Bounds for Approximating CSPs 🔍CBMC

arxiv.org·1d

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 🧮SMT Solvers

arxiv.org·5d

Branching Out: Existential External Choice in Effpi ❓Existential Types

arxiv.org·5d

Polynomial and Pseudopolynomial Algorithms for Two Classes of Bin Packing Instances 🎯Complexity Classes

arxiv.org·6d

No more posts from tiferrei's subscribed feeds.

Scour all 23983 feeds Learn more about Feeds