Used together with:
hole
(1)
proof
(1)
principl
(1)
monoton
(1)
Stem
pigeon$ (
all stems
)
1 papers:
ICALP-2000-AtseriasGG
#principle
#proving
Monotone Proofs of the Pigeon Hole Principle (
AA
,
NG
,
RG
), pp. 151–162.
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
.