arity

(redirected from Nullary)
Also found in: Dictionary, Encyclopedia.

Graphic Thesaurus 🔍

noun

Words related to arity

the number of arguments that a function can take

Related Words

References in periodicals archive ?

Replace each atom R([Xi], [Chi]) by a new unary atom [R.sub.[Xi],[Chi]](x) or nullary atom [R.sub.[Xi],[Chi]].

Using fresh unary predicate variables E*,*, [E*.sup.,y, [E.sup.y,*] and a nullary predicate variable [E.sup.y,y] replace the seven atoms in [Psi] with atoms

Existential Second-Order Logic Over Strings

We assume that the alphabet [Sigma] contains some primitive symbols, including at least the nullary constructor true and a binary equality function symbol, say =, written in infix notation, which allows us to interpret equations s = t as terms, with s, t [is an element of] [Tau] ([Sigma] [union] V).

Partial Evaluation of Functional Logic Programs

For example, the program may use nullary intensional predicates BAD and GOOD to make this determination, as follows:

Safe Stratified Datalog With Integer Order Does Not Have Syntax

[3] introduced an algebra (X; *, [less than or equal to], 0) with a binary operation * and a nullary operation 0.

Display	ON
Animation	ON

Legend
	Synonym
	Antonym
	Related