Ultrametric and Generalized Ultrametric in Computational Logic and in Data Analysis

Uncurrying for Innermost Termination and Derivational Complexity

Undecidability of the unification and admissibility problems for modal and description logics

Undecidable Problems About Timed Automata

Undirected Graphs of Entanglement Two

Unicast and Multicast Qos Routing with Soft Constraint Logic Programming

Unification and Matching on Compressed Terms

Uniform Memory and Serialization for Lambda Calculus

Uniform Provability in Classical Logic

Uniform Random Sampling of Traces in Very Large Models

Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting

Uniqueness Typing for Resource Management in Message-Passing Concurrency

Universal regular autonomous asynchronous systems: omega-limit sets, invariance and basins of attraction

Universal Structures and the logic of Forbidden Patterns

Unprovability of the Logical Characterization of Bisimulation

Updates in Answer Set Programming: An Approach Based on Basic Structural Properties

Using First-Order Logic to Reason about Policies

Using groups for investigating rewrite systems

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

Using non-convex approximations for efficient analysis of timed automata