TY - GEN digital ID - 131228611 TI - Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings AU - Grädel, Erich AU - Kahle, Reinhard PY - 2009 SN - 9783642040276 PB - Berlin, Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Ergodic theory. Information theory KW - Computer science KW - Computer architecture. Operating systems KW - Computer. Automation KW - algebra KW - coderen KW - informatica KW - programmeren (informatica) KW - wiskunde KW - logica KW - informatietheorie UR - https://www.unicat.be/uniCat?func=search&query=sysid:131228611 AB - ER -