Alexander Babichev

Site Navigator

 About This Site 
 Site News 
 Software Projects 
 Personal Information 
»    Publications«
     Contact Info 

Publications of Alexander Babichev

TODO: ask somebody to translate names to those horrible format.

  1. State Machine in PUA
  2. Cherkashin, Gorbunov and Me About Embedding LUA in automatic theorem prover
  3. Something for Baikal conference, can't remember exacly.
  4. Extension of Web Map Server Interface

Copyright (c) 2002-2004 Alexander Babichev.