Suchergebnisse - Renardel de Lavalette, Gerard R.

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

    Normalisation of databvase expressions involving calculations
    von Denneheuvel, Sieger van, Renardel de Lavalette, Gerard R.

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A tractable algorithm for the wellfounded model
    von Jonker, Catholijn M., Renardel de Lavalette, Gerard R.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Strictness analysis via abstract interpretation for recursively defined types
    von Renardel de Lavalette, Gerard R.

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Choice in applicative theories
    von Renardel de Lavalette, Gerard R.

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  5. 5
    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:
  6. 6
    Buchumschlag

    Counterexamples in applicative theories with choice
    von Renardel de Lavalette, Gerard R.

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Inductive definitions in COLD-K
    von Koymans, Christiaan Peter Jozef, Renardel de Lavalette, Gerard R.

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Modularisation, parameterisation, interpolation
    von Renardel de Lavalette, Gerard R.

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Strictness analysis for polyrec: a language with polymorphic and recursive types
    von Renardel de Lavalette, Gerard R.

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Interpolation in natural fragments of intuitionistic propositional logic
    von Renardel de Lavalette, Gerard R.

    Veröffentlicht 1986
    Buch


    Gespeichert in:

Suchwerkzeuge: