ePrints

Axiom System Induced by CTL* Logic

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Koutny M

Publication type: Article

Publication status: Published

Journal: Fundamenta Informaticae

Year: 1991

Volume: 14

Issue: 2

Pages: 235-253

ISSN (print): 0169-2968

Publisher: IOS Press

Share