Suchergebnisse - Hendriks, Lex

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    Intuitionistic propositional logic with only equivalence has no interpolation
    von Hendriks, Lex

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Characterization of strongly equivalent logic programs in intermediate logics
    von Hendriks, Lex, Jongh, Dick de

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Computations in fragments of intuitionistic propositional logic
    von Jong, Dick de, Hendriks, Lex, Renardel de Lavalette, Gerard R.

    Veröffentlicht 1988
    Buch


    Gespeichert in:

Suchwerkzeuge: