Results 41 to 50 of about 121 (62)

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

Some of the next articles are maybe not open access.

Related searches:

Propositional union closed team logics

Annals of Pure and Applied Logic, 2022
Fan Yang
exaly  

Analogical Proportions and Binary Trees

Studies in Universal Logic, 2022
Gilles RICHARD
exaly  

CI-algebra is equivalent to dual Q-algebra

Journal of the Egyptian Mathematical Society, 2013
Arsham Borumand Saeid
exaly  

No, No, and No

Studies in Universal Logic, 2023
exaly  

Near Invariance for Markov Diffusion Systems

SIAM Journal on Applied Dynamical Systems, 2008
Fritz Colonius
exaly  

Solving Knights-and-Knaves with One Equation

College Mathematics Journal, 2020
exaly  

Recognizing More Unsatisfiable Random k-SAT Instances Efficiently

SIAM Journal on Computing, 2005
Michael Krivelevich
exaly  

On Interpolation and Automatization for Frege Systems

SIAM Journal on Computing, 2000
Maria Luisa Bonet, Ran Raz
exaly