Research output: Contribution to journal › Article
Final published version
Nicola Botta, Patrik Jansson, Cezar Ionescu, David Christiansen, Edwin Charles Brady
Original language | English |
---|---|
Article number | 7 |
Number of pages | 23 |
Journal | Logical Methods in Computer Science |
Volume | 13 |
Issue number | 1 |
DOIs | |
State | Published - 17 Mar 2017 |
Discover related content
Find related publications, people, projects and more using interactive charts.
Research output: Contribution to journal › Article
Research output: Book/Report › Book
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Research output: Contribution to journal › Article
ID: 246979433