public domain | Domain Name System | Calculus | protein domain | eminent domain | The Calculus Affair | Satsuma Domain | Eminent domain | domain name | Chōshū Domain | Calculus (AB & BC) | calculus | Domain-specific language | Digital Domain | Saga Domain | Itō calculus | ETH Domain | Domain of unknown function | Domain name system | Domain name registrar | Domain name | domain | Calculus of variations | Unrestricted domain | Tosa Domain | Regge calculus | Public domain | Protein domain | Professor Calculus | PDZ domain |
Lacroix and Pirotte proposed domain calculus, which is closer to first-order logic and which showed that both of these calculi (as well as relational algebra) are equivalent in expressive power.