Search results for: Nikolaj Bjørner
Lecture Notes in Computer Science > Automated Reasoning > Invited Talk > 400-411
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 640-654
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Program Analysis > 307-321
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP '95 > 589-623
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 6. Satisfiability Modulo Theories > 183-198
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Abstraction > 53-68
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools – I > 337-340