@misc
{TN_libero_mab2,
author = {
Bergold, Helena
AND
Felsner, Stefan
AND
Scheucher, Manfred
Helena Bergold and Stefan Felsner and Manfred Scheucher
},
title = {
An Extension Theorem for Signotopes
},
publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
keywords = {
extendability
,
arrangement of pseudohyperplanes
,
oriented matroid
,
Boolean satisfiability (SAT)
,
Levi’s extension lemma
,
signotope
,
partial order
,
arrangement of pseudolines
},
year = {2023},
abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}