A top-down proof procedure for generalized data dependencies.Published in:Acta Informatica, 2003, v. 39, n. 1, p. 1, doi. 10.1007/s00236-002-0095-2By:Coulondre, StéphanePublication type:Article
Synchronized regular expressions.Published in:Acta Informatica, 2003, v. 39, n. 1, p. 31, doi. 10.1007/s00236-002-0099-yBy:Della Penna, Giuseppe;Intrigila, Benedetto;Tronci, Enrico;Venturini Zilli, MarisaPublication type:Article