Turing Impossibility Properties for Stack Machine Programming
Turing Machine with Faults, Failures and Recovery
Two algorithms in search of a type system
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog
Two Fuzzy Logic Programming Paradoxes Imply Continuum Hypothesis="False" & Axiom of Choice="False" Imply ZFC is Inconsistent
Two simulations about DPLL(T)
Two-Domain DNA Strand Displacement
Two-Variable Logic with Two Order Relations
Two-Way Unary Temporal Logic over Trees
Type classes for efficient exact real arithmetic in Coq
Type Classes for Mathematics in Type Theory
Type Inference for Bimorphic Recursion
Type inference in mathematics
Type theory and rewriting
Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Typed lambda-terms in categorical attributed graph transformation
Typed Operational Semantics for Dependent Record Types
Typing a Core Binary Field Arithmetic in a Light Logic