 | 2004 |
|---|
| 4 |       | Sam Drake,
Wei Hu,
Dale M. McInnis,
Martin Sköld,
Alok Srivastava,
Lars Thalmann,
Matti Tikkanen,
Øystein Torbjørnsen,
Antoni Wolski:
Architecture of Highly Available Databases.
ISAS 2004: 1-16 |
| 2001 |
|---|
| 3 |  | Melvin Fitting,
Lars Thalmann,
Andrei Voronkov:
Term-Modal Logics.
Studia Logica 69(1): 133-169 (2001) |
| 2000 |
|---|
| 2 | | Melvin Fitting,
Lars Thalmann,
Andrei Voronkov:
Term-Modal Logics.
TABLEAUX 2000: 220-236 |
| 1995 |
|---|
| 1 | | Lars Thalmann,
Christer Samuelsson:
A Uniform Framework for Grammar Induction and Robust Parsing.
SCAI 1995: 293-304 |
