Hierarchies in independence logic

Publication: Conference contributionA4 Article in conference publication (refereed)

LanguageEnglish
Publication year2013
Digital Object Identifiers
StatePublished - 2013

Proceedings

TitleComputer Science Logic 2013
EditorsSimona Ronchi Della Rocca
Publication year2013
Pages263-280
Electronic ISBN978-3-939897-60-6

Series information

NameLeibniz International Proceedings in Informatics
PublisherLIPICS
Volume23
Electronical ISSN1868-8969

Conference information

TitleEACSL CSL’13
Number22
PlaceTurin, Italy
Date02/09/201305/09/2013

ID: 30507768