Login / Signup
An Elementary Proof to the Weight Distribution Formula of the First Order Shortened Reed-Muller Coset Code.
Hannu Tarnanen
Published in:
Appl. Algebra Eng. Commun. Comput. (1997)
Keyphrases
</>
linear temporal logic
source code
first order logic
universally quantified
uniformly distributed
horn clauses
relational databases
higher order
spatial distribution
power law
neural network
theorem proving
weighting scheme
logical formulas