MMU Home | Prospectus | About MMU | A-Z Index | Contacts 
 


mmuch more
 
Search:
bullet
Browse
Collection All
bullet
bullet
bullet
bullet
bullet
Listed communities
bullet
bullet
bullet
bullet

espace at MMU > Faculties > Faculty of Science and Engineering > Department of Computing, Mathematics & Digital Technology > Admissible inference rules in temporal linear logics based at integer numbers

Please use this identifier to cite or link to this item: http://hdl.handle.net/2173/96169
    Del.icio.us     LinkedIn     Citeulike     Connotea     Facebook     Stumble it!

SFX Query

Title: Admissible inference rules in temporal linear logics based at integer numbers
Authors: Rybakov, Vladimir V.
Citation: Rybakov, V.V., 2005, Admissible inference rules in temporal linear logics based at integer numbers.
Issue Date: Aug-2005
URI: http://hdl.handle.net/2173/96169
Additional Links: http://www.ict.nsc.ru/ws/ALC-9/index.en.html
http://www.ict.nsc.ru/ws/ALC-9/9092/Rybakov.pdf
Abstract: This research concerns rules admissible in temporal linear transitive and intransitive logics based on integer numbers.
Type: Presentation
Meetings and Proceedings
Language: en
Description: Paper presented at 9th Asian Logic Conference in Novosibirsk, 16-19 August 2005. Full-text is available at http://www.ict.nsc.ru/ws/ALC-9/9092/Rybakov.pdf
Appears in Collections: Department of Computing, Mathematics & Digital Technology

Files in This Item:

There are no files associated with this item.



All Items in e-space are protected by copyright, with all rights reserved, unless otherwise indicated.

 

OR Logo Powered by Open Repository | Cookies
Valid XHTML 1.0!