Treffer 1 – 10 von 10 für Suche 'Renardel de Lavalette, Gerard R.', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Normalisation of databvase expressions involving calculations

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A tractable algorithm for the wellfounded model

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Strictness analysis via abstract interpretation for recursively defined types

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Choice in applicative theories

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Computations in fragments of intuitionistic propositional logic

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Counterexamples in applicative theories with choice

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Inductive definitions in COLD-K

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Modularisation, parameterisation, interpolation

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Strictness analysis for polyrec a language with polymorphic and recursive types

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Interpolation in natural fragments of intuitionistic propositional logic

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

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: