Wadge Degrees of Infinitary Rational Relations
Warranted Derivations of Preferred Answer
Wave Equation Numerical Resolution: Mathematics and Program
Weak Affine Light Typing is complete with respect to Safe Recursion on Notation
Weak Affine Light Typing: Polytime intensional expressivity, soundness and completeness
Weak Kleene Algebra is Sound and (Possibly) Complete for Simulation
Weak length induction and slow growing depth boolean circuits
Weak Typed Boehm Theorem on IMLL
Weighted Logics for Nested Words and Algebraic Formal Power Series
Well structured program equivalence is highly undecidable
Well-definedness of Streams by Transformation and Termination
Well-founded and Stable Semantics of Logic Programs with Aggregates
Well-Founded Argumentation Semantics for Extended Logic Programming
Well-Typed Logic Programs Are not Wrong
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory
What Causes a System to Satisfy a Specification?
What is a categorical model of the differential and the resource lambda-calculi?
What's Decidable About Sequences?
Why Would You Trust B?
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable