The Question of Expressiveness in the Generation of Referring Expressions
The Rank of Tree-Automatic Linear Orderings
The recognizability of sets of graphs is a robust property
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)
The role of semantics in mining frequent patterns from knowledge bases in description logics with rules
The Semantics of Graph Programs
The Set of Equations to Evaluate Objects
The space of measurement outcomes as a spectrum for non-commutative algebras
The Standard Aspect of Dialectical Logic
The Star Height Hierarchy Vs. The Variable Hierarchy
The strength of replacement in weak arithmetic
The Structure of Differential Invariants and Differential Cut Elimination
The structure of finite meadows
The Structure of First-Order Causality
The Structure of First-Order Causality (extended version)
The Structure of Information
The succinctness of first-order logic on linear orders
The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi
The Syllogistic with Unity
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs