Cristian Calude;Gheorghe Paun;Grzegorz Rozenberg;Arto Salomaa
-;-;-;-
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation