Pure Prolog Execution in 21 Rules

Pure Rotational Cars Thermometry in Nanosecond Pulse Burst Air and Hydrogen-Air Plasmas

Pure Saddle Points and Symmetric Relative Payoff Games

Pure spinors in odd dimensions

Pure Strategy or Mixed Strategy?

Pure Type Systems without Explicit Contexts

Purely Electric Perfect Fluids of Petrov Type D

Purely Functional Structured Programming

Purely magnetic locally rotationally symmetric spacetimes

Purging of untrustworthy recommendations from a grid

Purification and Properties of Malate Dehydrogenase from the Extreme Thermophile Bacillus Caldolyticus

PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis

Push & Pull: autonomous deployment of mobile sensors for a complete coverage

Push vs. Pull in Web-Based Network Management

Push-and-Track: Saving Infrastructure Bandwidth Through Opportunistic Forwarding

Push-broom reconnaissance camera with time expansion for a (Martian) landing-site certification

Push-broom reconnaissance camera with time expansion for a (Martian) landing-site certification

Pushdown Abstractions of JavaScript

Pushdown Compression

Pushdown Control-Flow Analysis of Higher-Order Programs