Lower-top and upper-bottom points for any formula in temporal logic/

Description

Thesis (Master)--İzmir Institute of Technology, İzmir, 2006 / Keywords:Temporal logic, modal logic. Includes bibliographical references (leaves 45).

Links & Downloads

1. http://library.iyte.edu.tr/tezler/master/matematik/T000549.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/419224743
Date	January 2006
Creators	Baysal, Onur. Alizde, Rarail
Publisher	[s.l.]: [s.n.],
Source Sets	OCLC
Language	English
Detected Language	English