Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen.
Gerhard JägerPublished in: Arch. Math. Log. (1980)
Keyphrases
- bit error rate
- error rate
- modal logic
- joint source and channel coding
- inference rules
- temporal logic
- desirable properties
- signal to noise ratio
- computer simulation
- physical layer
- channel capacity
- model checking
- ofdm system
- analytical model
- wireless channels
- channel coding
- real time
- multipath
- multiresolution
- image processing