Wartungsarbeiten: Opencast & Podcasts Di 14. Mai 2024 07:00 - 08:00 | Aufgrund von Wartungsarbeiten an den Opencast-Servern werden Ihnen Podcasts und Opencast-Videos nicht zur Verfügung stehen. Kontakt: www.podcast.unibe.ch
Wartungsarbeiten: File-Server So/Mo 26. Mai 22:00 - 27. Mai 07:00 | Aufgrund von Wartungsarbeiten an den File-Servern können in diesem Zeitraum keine Dateien hochgeladen werden. Die Dateien auf ILIAS können aber weiterhin heruntergeladen/angesehen werden.
Icon Course

2013HS: 41070 Modal Fixed Point Logics

Further description: http://ltg.unibe.ch/lectures/HS13/MFPL
Status: Offline

General Information

Syllabus
Lecturer: Prof. Dr. Gerhard Jäger
Further description: http://ltg.unibe.ch/lectures/HS13/MFPL

Description

Further description: http://ltg.unibe.ch/lectures/HS13/MFPL

General

Language
English
Copyright
This work has all rights reserved by the owner.

Contact

Name
Florian Ranzi, Universität Bern, IAM, Logic and Theory Group
E-Mail
ranzi@iam.unibe.ch
Consultation
by arrangement

Availability

Access
1. Sep 2013, 00:00 - 1. May 2014, 00:00
Admittance
You can join this course directly.
Registration Period
Until 1. May 2014, 00:00

Visible Personal Data for Course Administrators

Data Types of the Personal Profile
Username
First Name
Last Name
E-Mail

Additional Information

Permanent Link