Treffer 1 - 5 von 5 für Suche 'Rowe, RNS', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    Semantic types and approximation for featherweight java

    Semantic types and approximation for featherweight java von Rowe, RNS, Van Bakel, SJ


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automatic cyclic termination proofs for recursive procedures in separation logic

    Automatic cyclic termination proofs for recursive procedures in separation logic von Rowe, RNS, Brotherston, J

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent

    Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent von Rowe, RNS, Brotherston, J

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A Functional Perspective on Machine Learning via Programmable Induction and Abduction

    A Functional Perspective on Machine Learning via Programmable Induction and Abduction von Cheung, S, Darvariu, V, Ghica, DR, Muroya, K, Rowe, RNS

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday

    Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday von Bakel, SV, Rowe, RNS

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: