Computer Science (all)

Towards user recognition by shallow web traffic inspection

Deciding hedged bisimilarity

Deciding weak weighted bisimulation

Labelled variables in logic programming: Foundations