Inference in Temporal Next-Time Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vladimir V. Rybakov. Inference in Temporal Next-Time Logic. In Sergei N. Artëmov, Howard Barringer, Artur S. d Avila Garcez, Luís C. Lamb, John Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. pages 615-638, College Publications, 2005.

This author has not been identified. Look up 'Vladimir V. Rybakov' in Google

runs on WebDSL