Информационная система "Конференции"
The 9th Asian Logic Conference
16-19 August, 2005
Novosibirsk, Russia
Abstracts
Applications of logic in computer science
Abstract rewriting systems and subsystems: understanding subcalculi and strategies
Dept of Computer Science,
University of Buenos Aires (Buenos Aires)
Текст на английском языке в pdf-файле.
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
Last update: 06-Jul-2012 (11:44:52)