Bolander, T.
39  Ergebnisse:
Personensuche X
?
1

Termination for Hybrid Tableaus:

Bolander, T. ; Blackburn, P.
Journal of Logic and Computation.  17 (2007)  3 - p. 517-554 , 2007
 
?
2

Tableau-based Decision Procedures for Hybrid Logic:

Bolander, T. ; Brauner, T.
Journal of Logic and Computation.  16 (2006)  6 - p. 737-763 , 2006
 
?
 
?
10

Identification of a gene (mob14-3) encoding a mobilization ..:

Andrup, L. ; Bolander, G. ; Boe, L....
Nucleic Acids Research.  19 (1991)  10 - p. 2780-2780 , 1991
 
?
 
?
14

Fracture Forces in Femurs Implanted with PMMA:

, In: Ceramic Transactions Series; Advances in Biomedical and Biomimetic Materials,
 
?
 
1-15