Conference Proceeding

The Ackermann Award 2008.

01/2008; pp.508-512 In proceeding of: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Source: DBLP
0 0
 · 
0 Bookmarks
 · 
12 Views