| 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 |