Toggle Main Menu Toggle Search

ePrints

Axiom System Induced by CTL* Logic

Lookup NU author(s): Professor Maciej Koutny

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


Actions

    Link to this publication


Share