Sort by
Refine Your Search
-
[3] and are expected to contribute to go beyond the state-of-the-art of proof logging. In particular, we are interested in investigating how proof logging can be brought to the world of high-level
Searches related to arts and literature
Enter an email to receive alerts for arts-and-literature positions