Deducibility Constraints, Equational Theory and Electronic Money.
Sergiu BursucHubert Comon-LundhStéphanie DelaunePublished in: Rewriting, Computation and Proof (2007)
Keyphrases
- multiscale
- theoretical framework
- equational theories
- computational model
- general theory
- theoretical basis
- theorem proving
- knowledge base
- digital libraries
- real time
- information systems
- theoretical foundation
- theorem prover
- artificial intelligence
- learning algorithm
- genetic algorithm
- formal theory
- information retrieval