Vladimir Aleksic

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

2 EE Vladimir Aleksic, Anatoli Degtyarev: On Arbitrary Selection Strategies for Basic Superposition. JELIA 2006: 20-28

2005

1 EE Vladimir Aleksic, Anatoli Degtyarev: Regular Derivations in Basic Superposition-Based Calculi. LPAR 2005: 292-306

2006
2	EE	Vladimir Aleksic, Anatoli Degtyarev: On Arbitrary Selection Strategies for Basic Superposition. JELIA 2006: 20-28
2005
1	EE	Vladimir Aleksic, Anatoli Degtyarev: Regular Derivations in Basic Superposition-Based Calculi. LPAR 2005: 292-306

Coauthor Index

1 Anatoli Degtyarev [1] [2]