Bjørner, Nikolaj
VIAF ID: 173282203 ( Personal )
Permalink: http://viaf.org/viaf/173282203
Preferred Forms
-
-
- 100 1 _ ‡a Björner, Nikolaj
- 100 1 _ ‡a Bjørner, Nikolaj
- 100 1 _ ‡a Bjørner, Nikolaj
-
- 100 1 _ ‡a Bjørner, Nikolaj
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings | |
CADE-23 | |
Distributed Computing and Internet Technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings | |
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings | |
Logic for programming, artificial intelligence, and reasoning 18th international conference ; proceedings | |
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers | |
Procédures de décision génériques pour des théories axiomatiques du premier ordre | |
Recherche d'invariants inductifs par satisfiabilité modulo théorie et optimisation convexe. |