Termination Detection of Local Computations

Termination in a Pi-calculus with Subtyping

Termination of lambda-calculus with the extra Call-By-Value rule known as assoc

Termination of Linear Programs with Nonlinear Constraints

Termination of Nondeterministic Quantum Programs

Termination of rewriting strategies: a generic approach

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories

Termination of the solar wind in the hot, partially ionized interstellar medium

Termination Prediction for General Logic Programs

Termination Proofs for Logic Programs with Tabling

Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity

Terminology for trace-element partitioning

Ternary diffusion coefficients of the brine systems NaCl (0.5 M)-Na 2 SO 4 (0.5 M)-H 2 O and NaCl (0.489 M)-MgCl 2 (0.051 M)-H 2 O (seawater composition) at 25°C

Terpenoid marker compounds derived from biogenic precursors in volcanic ash from Mount St. Helens, Washington

Terra Meridiani Hematite Deposit Landing Site Rationale

Terraforming Mars - Dissolution of carbonate rocks by cyanobacteria

Terraforming Mars quickly

Terrain Adaptive Generation of Optimal Continuous Trajectories for Mobile Robots

Terrain Darkening on Iapetus: An Analysis of Processes Leading to Global and Local Dichotomy Features