Stem weaker$ (all stems)

3 papers:

PODS-2014-AmelootKNZ #declarative #fine-grained #network

Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture (TJA, BK, FN, DZ), pp. 64–75.

SAC-1999-Monfroy #constraints #using

Using “Weaker” Functions for Constraint Propagation Over Real Numbers (EM), pp. 553–559.

ICALP-1997-Wilke #first-order #logic #strict

Star-Free Picture Expressions are Strictly Weaker Than First-Order Logic (TW), pp. 347–357.