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

Preview


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