BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
finit (2)
game (2)
domain (2)
optim (2)
time (2)

Stem poset$ (all stems)

13 papers:

ICALPICALP-v1-2015-KomarathSS #bound #finite
Comparator Circuits over Finite Bounded Posets (BK, JS, KSS), pp. 834–845.
ICALPICALP-v1-2013-Grier #finite #game studies
Deciding the Winner of an Arbitrary Finite Poset Game Is PSPACE-Complete (DG), pp. 497–503.
ICALPICALP-v1-2011-BermanBGRWY #transitive
Steiner Transitive-Closure Spanners of Low-Dimensional Posets (PB, AB, EG, SR, DPW, GY), pp. 760–772.
An optimal ancestry scheme and small universal posets (PF, AK), pp. 611–620.
CIAACIAA-2009-Zimmermann #game studies
Time-Optimal Winning Strategies for Poset Games (MZ0), pp. 217–226.
ESOPESOP-2005-NiehrenPS #complexity #satisfiability #type system
Complexity of Subtype Satisfiability over Posets (JN, TP, ZS), pp. 357–373.
LICSLICS-2004-DalmauKL #first-order #graph #problem #reflexive
First-Order Definable Retraction Problems for Posets and Reflexive Graph (VD, AAK, BL), pp. 232–241.
STOCSTOC-2002-FischerLNRRS #testing
Monotonicity testing over general poset domains (EF, EL, IN, SR, RR, AS), pp. 474–483.
ICALPICALP-2000-Kuske #infinity #logic
Infinite Series-Parallel Posets: Logic and Languages (DK), pp. 648–662.
CAVCAV-1998-BelluominiM #using #verification
Verification of Timed Systems Using POSETs (WB, CJM), pp. 403–415.
Posets, Boolean Representations and Quick Path Searching (GG, JN, MT), pp. 404–424.
A Universal Domain Technique for Profinite Posets (CAG), pp. 232–243.
STOCSTOC-1984-KahnS #comparison
Every Poset Has a Good Comparison (JK, MES), pp. 299–301.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.