Andrei-Sebastian Buruiana

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 3

Top Topics

Logical Language

Computer Programs

Intended Meaning

Theorem Proving

Top Venues

J. Log. Algebraic Methods Program.

Publications