Šárka Stejskalová
- Guessing models, trees, and cardinal arithmetic
2023/03/02 by Chris Lambie‐Hanson, Lambie-Hanson, Chris, Šárka Stejskalová +1 · 1 citation
Computer Science · Mathematics · #03E35 #03E55 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
- Forcing Over a Free Suslin Tree
2024/01/31 by John Krueger, Krueger, John, Šárka Stejskalová +1 · 1 citation
Computer Science · #Model-Driven Software Engineering Techniques #Natural Language Processing Techniques