Deductive systems and grammars: proofs as grammatical structures

@inproceedings{Moss1999DeductiveSA,
  title={Deductive systems and grammars: proofs as grammatical structures},
  author={Lawrence S. Moss and Hans Joerg Tiede},
  year={1999}
}
A signal processor for filtering unwanted narrowband noise from received wideband electrical signals also containing desired wideband noise is described. The signal processor includes means for partitioning the wideband received signal into a plurality of narrowband, noise-containing signals and for producing a plurality of narrowband output signals. The signal processor further includes means for monitoring each of the narrowband output signals and for reducing the voltage of any narrowband… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

References

Publications referenced by this paper.