default search action

combined dblp search
author search
venue search
publication search

ask others

Lars Thalmann

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2014
[b2]
- view
  - electronic edition @ oreilly.com
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0034107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0034107
Charles Bell, Mats Kindahl, Lars Thalmann:
MySQL High Availability - Tools for Building Robust Data Centers, 2nd Edition. O'Reilly 2014, ISBN 978-1-4493-3958-6, pp. I-XXVI, 1-733

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/isas/DrakeHMSSTTTW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isas/DrakeHMSSTTTW04
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
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/FittingTV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/FittingTV01
Melvin Fitting, Lars Thalmann, Andrei Voronkov:
Term-Modal Logics. Stud Logica 69(1): 133-169 (2001)
2000
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Thalmann00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Thalmann00
Lars Thalmann:
Term-modal logic and quantifier-free dynamic assignment logic. Uppsala University, Sweden, 2000
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/FittingTV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/FittingTV00
Melvin Fitting, Lars Thalmann, Andrei Voronkov:
Term-Modal Logics. TABLEAUX 2000: 220-236

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1995
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/scai/ThalmannS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scai/ThalmannS95
Lars Thalmann, Christer Samuelsson:
A Uniform Framework for Grammar Induction and Robust Parsing. SCAI 1995: 293-304

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.