Searching for authors named "Lars Thalmann" – sorted by Relevance.
-
Term-Modal Logic and Quantifier-free Dynamic Assignment Logic
- Lars Thalmann Uppsala University Information Technology Computing Science Department Thesis
- Add To MetaCart
-
Automata and Hybrid Systems
- transcribed by Faron Moller, Lars Thalmann, Gustaf Naeser, Paul Pettersson and Johan Bengtsson Edited by Faron
- Cited by 3 (0 self) – Add To MetaCart
-
Architecture of highly available databases
- Sköld 4 , Alok Srivastava 2 , Lars Thalmann 4 , Matti Tikkanen 5 , Øystein Torbjørnsen 6 , and Antoni
- Cited by 2 (1 self) – Add To MetaCart

