Keyphrases
- linear logic
- sequent calculus
- barcode
- digital images
- high capacity
- inference rules
- logic programming
- betti numbers
- fixed point
- rfid technology
- radio frequency identification rfid
- desirable properties
- homology generators
- modal logic
- sequence analysis
- artificial intelligence
- hough transform
- logical framework
- data storage
- supply chain
- natural language