18 reputation
16
bio website mpi-sws.org/~fniksic
location Germany
age
visits member for 4 years, 10 months
seen Jan 29 at 13:40

Aug
15
awarded  Popular Question
May
19
awarded  Good Answer
Nov
22
awarded  Supporter
Nov
22
awarded  Nice Answer
Nov
20
awarded  Scholar
Nov
20
accepted Applications of propositional dynamic logic
Nov
20
comment Applications of propositional dynamic logic
Thanks, compiler optimizations are just the kind of things I was looking for.
Nov
19
awarded  Student
Nov
19
asked Applications of propositional dynamic logic
Nov
12
awarded  Teacher
Nov
12
answered Fundamental Examples
Nov
12
answered Fundamental Examples