Search results for: Nikolaj Bjørner
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2009 > Full Research Papers > 322-335
Lecture Notes in Computer Science
Information Processing Letters > 2015 > 115 > 3 > 418-424
International Journal on Software Tools for Technology Transfer > 2012 > 14 > 4 > 387-405
Journal of Automated Reasoning > 2010 > 44 > 4 > 401-424
Electronic Notes in Theoretical Computer Science > 2008 > 198 > 2 > 37-49
Theoretical Computer Science > 1997 > 173 > 1 > 49-87