The Logic of Proofs as a Foundation for Certifying Mobile Computation.
Eduardo BonelliFederico FellerPublished in: LFCS (2009)
Keyphrases
- modal logic
- cut elimination
- natural deduction
- efficient computation
- mobile devices
- mobile phone
- formal proofs
- classical logic
- decision procedures
- theorem prover
- theorem proving
- sequent calculus
- mobile learning
- mobile applications
- defeasible logic
- data sets
- computer algebra
- proof theory
- automated theorem proving
- probabilistic logic
- mobile networks
- mobile computing
- mobile users