Èíôîðìàöèîííàÿ ñèñòåìà "Êîíôåðåíöèè"


The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts

The plenary talks

Admissible Inference Rules in Temporal Linear Logics Based at Integer Numbers

Rybakov V.

Manchester Metropolitan University,
Dept. of Computing and Mathematics (Manchester)

Text in pdf-file.

Full Text in Russian: Rybakov.pdf (146 kb)

Mail to Webmaster
alc9@math.nsc.ru
|Home Page| |English Part| [SBRAS]
Go to Home
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: 06-Jul-2012 (11:44:52)