
Sign up to save your podcasts
Or


From the publisher's feed
Getypter und ungetypter Lambda-Kalkül
Semantik von Programmiersprachen, Anfänge der Bereichstheorie
Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion
Programmverifikation, Floyd-Hoare-Kalkül
Reguläre Sprachen und endliche Automaten
Beschriftete Transitionssysteme, Bisimulation und Temporallogik

0 Listeners

0 Listeners

0 Listeners

2 Listeners

0 Listeners

0 Listeners

0 Listeners

6 Listeners

0 Listeners

0 Listeners