Charts
Contact Sales

Prof. Dr. Lutz Schröder

Theorie der Programmierung 2018 (Audio)

A podcast

Good podcast? Give it some love!

Prof. Dr. Lutz Schröder

Theorie der Programmierung 2018 (Audio)

About

Prof. Dr. Lutz Schröder

Theorie der Programmierung 2018 (Audio)

A podcast
Good podcast? Give it some love!
Rate Podcast
About
InsightsPodchaser Pro
Episodes
3193
Reviews
Credits
Lists
Similar

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

Show More

Creators & Guests

We don't know anything about the creators of this podcast yet. You can so they can be credited for this and other podcasts.

Podcast Reviews

This podcast hasn't been reviewed yet. You can to show others what you thought.

Mentioned In These Lists

There are no lists that include "Theorie der Programmierung 2018 (Audio)". You can add this podcast to a new or existing list.

Host or manage this podcast?

Do you host or manage this podcast?
Claim and edit this page to your liking.
Are we missing an episode or update?
Use this to check the RSS feed immediately.

Podcast Details

Created by
FAU
Podcast Status
Idle
Started
Apr 8th, 2018
Latest Episode
Jul 11th, 2018
Episodes
3193
Avg. Episode Length
About 1 hour
Explicit
No
Order
Serial
Language
German
This podcast, its content, and its artwork are not owned by, affiliated with, or endorsed by Podchaser.
Rate
Contact This Podcast
Get this podcast via API

Followers

1

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more
Podchaser Logo

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