Jirí Raclavský

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Search Algorithm

Theoretical Basis

Information Technology

Top Venues

J. Log. Comput.

Publications

Petr Kuchynka, Jirí Raclavský
Completeness in partial type theory. J. Log. Comput. 34 (1) (2024)
Jirí Raclavský
Puzzles of Existential Generalisation from Type-theoretic Perspective. NCL (2022)