Skip to main content
Article thumbnail
Location of Repository

Admissible inference rules in temporal linear logics based at integer numbers

By Vladimir V. Rybakov


Paper presented at 9th Asian Logic Conference in Novosibirsk, 16-19 August 2005. Full-text is available at

Year: 2010
OAI identifier:

Suggested articles

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