User Tools

Site Tools


plt17:lecture_29

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

plt17:lecture_29 [2017/11/11 21:30] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 29 ======
 +Lecture 29  {{ :​plt17:​lectures:​lect29:​main.pdf | Slides}}
 +(Collecting Semantics)
  
 +=== Readings ===
 + 
 +  * Patrick Cousot'​s lecture on «Collecting Semantics»
plt17/lecture_29.txt · Last modified: 2017/11/11 21:30 by hossein