Charts
Theorie der Programmierung 2018 (Audio)Episode from the podcastTheorie der Programmierung 2018 (Audio)
25 - Theorie der Programmierung 2018

25 - Theorie der Programmierung 2018

Released Wednesday, 11th July 2018
Good episode? Give it some love!
25 - Theorie der Programmierung 2018

25 - Theorie der Programmierung 2018

25 - Theorie der Programmierung 2018

25 - Theorie der Programmierung 2018

Wednesday, 11th July 2018
Good episode? Give it some love!
Rate Episode
List
About
InsightsPodchaser Pro
Reviews
Credits
Lists
Transcript
Rate
List
Get this podcast via API

From The Podcast

Inhalt:Termersetzungssysteme, Normalisierung, KonfluenzGetypter und ungetypter Lambda-KalkülSemantik von Programmiersprachen, Anfänge der BereichstheorieDatentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und KorekursionProgrammverifikation, Floyd-Hoare-KalkülReguläre Sprachen und endliche AutomatenBeschriftete Transitionssysteme, Bisimulation und Temporallogik

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more
Do you host or manage this podcast?
Claim and edit this page to your liking.
,
Podchaser Logo

Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More