Login / Signup

Proving Linearizability of Multiset with Local Proof Obligations.

Oleg TravkinHeike WehrheimGerhard Schellhorn
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
  • deontic logic
  • theorem prover
  • theorem proving
  • agent architecture
  • databases
  • mathematical proofs
  • data sets
  • decision making
  • knowledge base
  • web services
  • three dimensional
  • database systems
  • mobile robot