C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Intermediate Logics: From Hypersequents to Concurrent Computation.
Agata Ciabattoni
Published in:
Advances in Modal Logic (2018)
Keyphrases
</>
expressive power
artificial intelligence
website
multi agent
query language
higher order
efficiently computing