Hierarchies in independence logic

Research output: Scientific - peer-reviewConference contribution

LanguageEnglish
Host publicationComputer Science Logic 2013 : Proceedings of the 22nd Annual Conference of the EACSL CSL’13, September 2–5, 2013, Torino, Italy
EditorsSimona Ronchi Della Rocca
Number of pages18
Publication date2013
Pages263-280
ISBN (Electronic)978-3-939897-60-6
DOIs
StatePublished - 2013
MoE publication typeA4 Article in a conference publication
EventEACSL CSL’13 - Turin, Italy
Duration: 2 Sep 20135 Sep 2013
Conference number: 22

Series information

NameLeibniz International Proceedings in Informatics
PublisherLIPICS
Volume23
Electronical ISSN1868-8969

ID: 30507768