English » Arabic

Translations for „equational“ in the English » Arabic Dictionary (Go to Arabic » English)

equational ADJ

Monolingual examples (not verified by PONS Editors)

English
Tacit programming is of theoretical interest, because the strict use of composition results in programs that are well adapted for equational reasoning.
en.wikipedia.org
It can be seen as a generalization of either resolution (to equational logic) or unfailing completion (to full clausal logic).
en.wikipedia.org
In an equational clause with an implicit be verb, both nouns are left unmarked (the accusative form).
en.wikipedia.org
The machine code can be optimized using the equational form of a theory of computation.
en.wikipedia.org
In universal algebra and equational theory, the methods of term rewriting, congruence closure and unification are used to attempt to decide satisfiability.
en.wikipedia.org
The data part of the toolset is based on abstract equational data types extended with higher-order functions.
en.wikipedia.org

Look up "equational" in other languages


Choose your language Deutsch | English | Español | Français | Italiano | Polski