Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Modelltheorie in der Kripke-Semantik


    Contributors:

    Publication date :

    1968


    Size :

    21 S


    Type of media :

    Theses


    Type of material :

    Print


    Language :

    German



    Modelltheorie als Einstellhilfe fuer die Spritzgiesssteuerung

    Menges,G. / Thienel,P. / Bangert,H. et al. | Automotive engineering | 1978


    Der Begriff der Rationalität in der Modelltheorie

    Heuser, Hermann F. | TIBKAT | 1969


    Lähmende Semantik

    Online Contents | 1998


    Vehicle path forecasting method based on generalized possibility Kripke model

    LI YONGMING / SU YIFAN / HE QING et al. | European Patent Office | 2024

    Free access

    Kripke Modelling and Model Checking of a Multiple UAV System Monitoring Road Network

    Sirigineedi, Gopinadh / Tsourdos, Antonios / White, Brian et al. | AIAA | 2010