Jan Krajı́ček

1. A proof complexity conjecture and the Incompleteness theorem
   2023/03/19 by Jan Krajı́ček, Krajicek, Jan · 1 citation
   Computer Science · #03F20 #03F40 #68Q15 #Advanced Algebra and Logic #F.1.3 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Extended Nullstellensatz proof systems
   2023/01/25 by Jan Krajı́ček, Krajicek, Jan · 1 citation
   Computer Science · Engineering · #03F20 #68Q15 #Computational Complexity (cs.CC) #F.1.1 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Polynomial and algebraic computation #graph theory and CDMA systems #semigroups and automata theory