Hans Rischel
Former employee
Publications
(21)- Published
Interval logic. Proof theory and theorem proving
Publication: Research › Ph.d. thesis – Annual report year: 2002
- Published
Event-based design of concurrent programs with java implementation
Publication: Research - peer-review › Article in proceedings – Annual report year: 2001
- Published
Introduction to Programming using SML
Publication: Research - peer-review › Book – Annual report year: 1999
I E E E Transactions on Software Engineering
ISSNs: 0098-5589
I E E E, United States
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
Bit (Lisse)
ISSNs: 0006-3835
Springer Netherlands, Netherlands
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
Projects
(3)- Completed
- Completed
Latest activities and conferences
Loading map data...
ID: 2195877