Treffer 1 - 7 von 7 für Suche 'Manoorkar, Krishna B.', Suchdauer: 0,38s Treffer weiter einschränken
  1. 1
    Labelled Calculi for the Logics of Rough Concepts

    Labelled Calculi for the Logics of Rough Concepts von van der Berg, Ineke, De Domenico, Andrea, Greco, Giuseppe, Manoorkar, Krishna B., Palmigiano, Alessandra, Panettiere, Mattia


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Polynomial-time checking of generalized Sahlqvist syntactic shape

    Polynomial-time checking of generalized Sahlqvist syntactic shape von Manoorkar, Krishna B., Palmigiano, Alessandra, Panettiere, Mattia

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Labelled Calculi for Lattice-Based Modal Logics

    Labelled Calculi for Lattice-Based Modal Logics von van der Berg, Ineke, De Domenico, Andrea, Greco, Giuseppe, Manoorkar, Krishna B., Palmigiano, Alessandra, Panettiere, Mattia


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Description Logic for Rough Concepts

    Description Logic for Rough Concepts von Manoorkar, Krishna B., De Domenico, Andrea, Palmigiano, Alessandra


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Non-distributive description logic

    Non-distributive description logic von van der Berg, Ineke, De Domenico, Andrea, Greco, Giuseppe, Manoorkar, Krishna B, Palmigiano, Alessandra, Panettiere, Mattia

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Non-distributive description logic

    Non-distributive description logic von van der Berg, Ineke, De Domenico, Andrea, Greco, Giuseppe, Manoorkar, Krishna B, Palmigiano, Alessandra, Panettiere, Mattia

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Subordination Algebras as Semantic Environment of Input/Output Logic

    Subordination Algebras as Semantic Environment of Input/Output Logic von De Domenico, Andrea, Farjami, Ali, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Wang, Xiaolong


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: