Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!
Sökning efter: Mikael Rittri 7 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Proving the correctness of a virtual machine by a bisimulation | Mikael Rittri | 1988 | Engelska |
| 2 | Using types as search keys in function libraries | Mikael Rittri | 1989 | Engelska |
| 3 | Searching program libraries by type and proving compiler correctness by bisimulation | Mikael Rittri | 1990 | Engelska |
| 4 | Retrieving library identifiers via equational matching of types | Mikael Rittri | 1992 | Engelska |
| 5 | Retrieving library functions by unifying types modulo linear isomorphism | Mikael Rittri | 1992 | Engelska |
| 6 | Splitting infinite sets of unique names by hidden state changes | Lennart Augustsson | 1992 | Engelska |
| 7 | Semi-unification of two terms in Abelian groups | Mikael Rittri | 1994 | Engelska |
1
Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.