Luc Segoufin

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

◀ ▶ joint publications with Anca Muscholl

> Home > Persons > Luc Segoufin

Publications

2011
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BojanczykDMSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BojanczykDMSS11
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Two-variable logic on data words. ACM Trans. Comput. Log. 12(4): 27:1-27:26 (2011)
2009
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/BojanczykMSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/BojanczykMSS09
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Two-variable logic on data trees and XML reasoning. J. ACM 56(3): 13:1-13:48 (2009)
2006
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/MuschollSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/MuschollSS06
Anca Muscholl, Mathias Samuelides, Luc Segoufin:
Complementing deterministic tree-walking automata. Inf. Process. Lett. 99(1): 33-39 (2006)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/MuschollSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/MuschollSS06
Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Active Context-Free Games. Theory Comput. Syst. 39(1): 237-276 (2006)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BojanczykMSSD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BojanczykMSSD06
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David:
Two-Variable Logic on Words with Data. LICS 2006: 7-16
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/BojanczykDMSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/BojanczykDMSS06
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Two-variable logic on data trees and XML reasoning. PODS 2006: 10-19
2004
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/MuschollSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/MuschollSS04
Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Active Context-Free Games. STACS 2004: 452-464

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.