Results 41 to 42 of about 101 (42)

λρ-calculus II [PDF]

, 2013
Yuichi KOMORI
core   +1 more source

Equivalence of Strongly Connected Graphs and Black-and-White 2-SAT Problems [PDF]

, 2018
Biró, Csaba, Kusper, Gábor
core   +1 more source