Skip to main content
Article thumbnail
Location of Repository

Admissible inference rules in temporal linear logics based at integer numbers

By Vladimir V. Rybakov

Abstract

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

Year: 2010
OAI identifier: oai:www.e-space.mmu.ac.uk:2173/96169

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.