ℹ️
🇬🇧
Search
Search for people relevant for "Sequent calculus"
Sequent calculus
Person
Class
Person
Publication
Programmes
Export current view
prof. Mgr. Michal Koucký Ph.D.
Academic staff at Faculty of Mathematics and Physics
1 study programme
8 classes
35 publications
Study programme
programme
Computer Science - Theoretical Computer Science
🇨🇿 NMgr. |
Faculty of Mathematics and Physics
Classes
class
Automata and Computational Complexity
NMMB415 |
Faculty of Mathematics and Physics
class
Data Structures 1
NTIN066 |
Faculty of Mathematics and Physics
class
Computational complexity and interactive protocols
NTIN081 |
Faculty of Mathematics and Physics
class
Nonuniform computational models
NTIN082 |
Faculty of Mathematics and Physics
class
Selected Topics in Computational Complexity I
NTIN085 |
Faculty of Mathematics and Physics
class
Selected Topics in Computational Complexity II
NTIN086 |
Faculty of Mathematics and Physics
class
Introduction to Information Transmission and Processing
NTIN100 |
Faculty of Mathematics and Physics
class
Seminar on theory of computing
NTIN102 |
Faculty of Mathematics and Physics
Publications
publication
Expander construction in VNC1
2020 |
Faculty of Mathematics and Physics
publication
Expander Construction in VNC1
2017 |
Faculty of Mathematics and Physics
publication
Simple, deterministic, fast (but weak) approximations to edit distance and Dyck edit distance
2023 |
Faculty of Mathematics and Physics
publication
Locally Consistent Decomposition of Strings with Applications to Edit Distance Sketching
2023 |
Faculty of Mathematics and Physics
publication
Streaming k-Edit Approximate Pattern Matching via String Decomposition
2023 |
Faculty of Mathematics and Physics
publication
Barrington Plays Cards: The Complexity of Card-Based Protocols
2021 |
Faculty of Mathematics and Physics
publication
Improved Bounds on Fourier Entropy and Min-entropy
2021 |
Faculty of Mathematics and Physics
publication
SORTING SHORT INTEGERS: THE EXPOSITION
2021 |
Faculty of Mathematics and Physics
publication
A SEPARATOR THEOREM FOR HYPERGRAPHS AND A CSP-SAT ALGORITHM
2021 |
Faculty of Mathematics and Physics
publication
Sorting Short Integers
2021 |
Faculty of Mathematics and Physics
Load more publications (25)
Loading network view...