Search results for: Aleksey Nogin
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Advances in Theorem Prover Technology > 287-303
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 281-297
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Orthogonal Process Activities > 63-78
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 263-280
Lecture Notes in Computer Science > Automated Reasoning > Logical Frameworks, Higher-Order Logic, Interactive Theorem Proving > 421-426
IEEE Transactions on Neural Networks and Learning Systems > 2014 > 25 > 2 > 316 - 331
IEEE Transactions on Neural Networks and Learning Systems > 2012 > 23 > 6 > 889 - 901
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 5 > 79-94
Electronic Notes in Theoretical Computer Science > 2006 > 165 > Complete > 121-132
Higher-Order and Symbolic Computation > 2006 > 19 > 2-3 > 197-230
Electronic Notes in Theoretical Computer Science > 2000 > 37 > Complete > 1-17