Verification Conditions Are Code - Electronics and Computer Science
Verification and Specification of Concurrent Programs
Verifiable Semantics for Agent Communication Languages
Vectors and Vector Operations
Variations on a Montagovian Theme
Variables In Real Life: A Jar Of Spare Change
Valid Arguments and Logical Fallacies
valid - Informatik Uni Leipzig
Usuba - Set Theory Talks
Using the AEA 20/20 TDR
Using model theory for grammatical inference
Using Modal Logics to Express and Check Global Graph Properties
Using linear logic to reason about sequent systems ?
Using linear logic to reason about sequent systems
Using linear logic to reason about sequent systems
Using Existential Graphs for Automated Theorem Proving
US Federal Government Addendum
Upper-Bounding Proof Length with the Busy
Subset Types and Partial Functions
Subject of the TPG work programme
