Location of Repository

Inference in discrete linear temporal logic

By Vladimir V. Rybakov

Abstract

Paper presented at First World Congress and School on Universal Logic in Montreux, March 26th - April 3rd 2005.

Year: 2010
OAI identifier: oai:www.e-space.mmu.ac.uk:2173/96168
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/2173/961... (external link)
  • Suggested articles


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