An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic

dc.contributor.author	Krebs, Andreas
dc.date.accessioned	2019-03-20T14:28:32Z
dc.date.available	2019-03-20T14:28:32Z
dc.date.issued	2017
dc.identifier.issn	1557-945X
dc.identifier.uri	http://hdl.handle.net/10900/87165
dc.language.iso	en	en
dc.publisher	Assoc Computing Machinery	de_DE
dc.relation.uri	http://dx.doi.org/10.1145/3149822
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.subject.ddc	610	de_DE
dc.title	An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic	de_DE
dc.type	Article	de_DE
utue.quellen.id	20190131163842_00131
utue.personen.roh	Krebs, Andreas
utue.personen.roh	Straubing, Howard
dcterms.isPartOf.ZSTitelID	Acm Transactions on Computational Logic	de_DE
dcterms.isPartOf.ZS-Issue	Article 30	de_DE
dcterms.isPartOf.ZS-Volume	18	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät

Files in this item

Files	Size	Format	View
There are no files associated with this item.