Vladimir Lifschitz

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 38

Top Topics

Strong Equivalence

Dependency Graphs

Top Venues

Theory Pract. Log. Program.

Publications