The monotone satisfiability problem with bounded variable appearances

DSpace Repositorium (Manakin basiert)

Zur Kurzanzeige

dc.contributor.author Döcker, Janosch
dc.contributor.author Dorn, Britta
dc.date.accessioned 2018-11-29T15:47:10Z
dc.date.available 2018-11-29T15:47:10Z
dc.date.issued 2018
dc.identifier.uri http://hdl.handle.net/10900/85092
dc.language.iso en de_DE
dc.relation.uri http://dx.doi.org/10.1142/S0129054118500168 de_DE
dc.rights info:eu-repo/semantics/closedAccess
dc.subject.ddc 004 de_DE
dc.title The monotone satisfiability problem with bounded variable appearances de_DE
dc.type Article de_DE
utue.publikation.seiten 979-993 de_DE
utue.personen.roh Darmann, Andreas
utue.personen.roh Döcker, Janosch
utue.personen.roh Dorn, Britta
dcterms.isPartOf.ZSTitelID International Journal of Foundations of Computer Science de_DE
dcterms.isPartOf.ZS-Issue 6 de_DE
dcterms.isPartOf.ZS-Volume 29 de_DE


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

Das Dokument erscheint in:

Zur Kurzanzeige