Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

- view
  authority control:
- export record
  dblp key:
  - journals/mst/Snir04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Snir04
Marc Snir:
A Note on N-Body Computations with Cutoffs. Theory Comput. Syst. 37(2): 295-318 (2004)
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Tantau04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Tantau04
Till Tantau:
Comparing Verboseness for Finite Automata and Turing Machines. Theory Comput. Syst. 37(1): 95-109 (2004)
- view
  authority control:
- export record
  dblp key:
  - journals/mst/TherienW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/TherienW04
Denis Thérien, Thomas Wilke:
Nesting Until and Since in Linear Temporal Logic. Theory Comput. Syst. 37(1): 111-131 (2004)
- view
  authority control:
- export record
  dblp key:
  - journals/mst/TorreMRV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/TorreMRV04
Pilar de la Torre, Michael Mitzenmacher, Rajmohan Rajaraman, Berthold Vöcking:
Foreword. Theory Comput. Syst. 37(3): 321 (2004)