C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Decidability Results for Choreography Realization.
Niels Lohmann
Karsten Wolf
Published in:
ICSOC (2011)
Keyphrases
</>
description logics
query answering
type checking
service oriented architecture
data sets
artificial intelligence
decision procedures
digital libraries
data exchange