Evgeny Kruglov Vis

*	2009
2	EE	Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach: Superposition Modulo Linear Arithmetic SUP(LA). FroCos 2009: 84-99
	1994
1		Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin: Concurrency Problem for Horn Fragment of Girard's Linear Logic. LFCS 1994: 18-22

Coauthor Index

1	Ernst Althaus	[2]
2	Dmitry A. Archangelsky	[1]
3	Michael I. Dekhtyar	[1]
4	Ilmir Kh. Musikaev	[1]
5	Mikhail A. Taitslin	[1]
6	Christoph Weidenbach	[2]

Colors in the list of coauthors