Vladimir Aleksic Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - 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]