ℹ️
🇬🇧
Search
Search for people relevant for "typed lambda calculus"
typed lambda calculus
Person
Class
Person
Publication
Programmes
Export current view
Bc. Matej Husár
External academic staff at Faculty of Mathematics and Physics
3 publications
Publications
publication
Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?
2023 |
Faculty of Mathematics and Physics
publication
Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning
2022 |
Faculty of Mathematics and Physics
publication
Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?
2022 |
Faculty of Mathematics and Physics
Loading network view...
