Vladimir Aleksic

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

Vladimir Aleksic, Anatoli Degtyarev
On Arbitrary Selection Strategies for Basic Superposition. JELIA (2006)
Vladimir Aleksic, Anatoli Degtyarev
Regular Derivations in Basic Superposition-Based Calculi. LPAR (2005)