Login / Signup
A Parametrized Propositional Dynamic Logic with Application to Service Synthesis.
Walid Belkhir
Gisela Rossi
Michaël Rusinowitch
Published in:
Advances in Modal Logic (2014)
Keyphrases
</>
propositional dynamic logic
service oriented
database
neural network
artificial intelligence
website
information services
application level