EACSL

#	Item
21	Add to Reading List Source URL: eacsl.kahle.ch Language: Hungarian - Date: 2013-12-08 15:57:37
22	EUROPEAN ASSOCIATION FOR COMPUTER SCIENCE LOGIC __________________________________________________________________________________________ Add to Reading List Source URL: eacsl.kahle.ch Language: German - Date: 2013-12-08 15:57:37
23	Ten Years of CSL Conferences[removed]) ¨ rger Egon Bo Dip. di Informatica Universita di Pisa Cso Italia 40 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Logic in computer science Lecture Notes in Computer Science IEEE Symposium on Logic in Computer Science Algorithmic Number Theory Symposium Dagstuhl Theoretical computer science Computer science Applied mathematics Mathematics
24	LNCSThe Ackermann Award 2006 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:22 Modal logic Philosophical logic Non-classical logic Hybrid logic Algebraic semantics F-coalgebra Abstract model theory Model theory Game semantics Logic Mathematics Mathematical logic