Startseite
Über uns
Geschichten
Katalog
Medien
Startseite
Katalog
Autoren
Patrick Lincoln
Patrick Lincoln
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
4
A formally verified alrgothim for interactive consistency under a hybrid fault model
A formally verified algorithm for interactive consistency under a hybrid fault model
Computational aspects of linear logic
All About Maude - A High-Performance Logical Framework
