Search results for: Olga Tveretina
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Short Papers > 638-641
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2005 > Papers > 769-780
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Papers > 66-79
Lecture Notes in Business Information Processing > Business Information Systems Workshops > BPSC Conference > 18-29
Electronic Notes in Theoretical Computer Science > 2009 > 225 > Complete > 405-420
Information and Computation > 2007 > 205 > 8 > 1188-1211
Journal of Logic and Algebraic Programming > 2003 > 57 > 1-2 > 1-22