Hasil Pencarian - Luc Segoufin

  • Menampilkan 1 - 12 hasil dari 12
Perbaiki Hasil
  1. 1
    First-order query evaluation on structures of bounded degree

    First-order query evaluation on structures of bounded degree oleh Wojciech Kazana, Luc Segoufin

    Diterbitkan 2011-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    First-order queries on classes of structures with bounded expansion

    First-order queries on classes of structures with bounded expansion oleh Wojtek Kazana, Luc Segoufin

    Diterbitkan 2020-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    A decidable characterization of locally testable tree languages

    A decidable characterization of locally testable tree languages oleh Thomas Place, Luc Segoufin

    Diterbitkan 2011-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Bottom-up automata on data trees and vertical XPath

    Bottom-up automata on data trees and vertical XPath oleh Diego Figueira, Luc Segoufin

    Diterbitkan 2017-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Tree Languages Defined in First-Order Logic with One Quantifier Alternation

    Tree Languages Defined in First-Order Logic with One Quantifier Alternation oleh Mikolaj Bojanczyk, Luc Segoufin

    Diterbitkan 2010-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Deciding definability in FO2(<h,<v) on trees

    Deciding definability in FO2(<h,<v) on trees oleh Thomas Place, Luc Segoufin

    Diterbitkan 2015-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Unary negation

    Unary negation oleh Luc Segoufin, Balder ten Cate

    Diterbitkan 2013-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    Tameness and the power of programs over monoids in DA

    Tameness and the power of programs over monoids in DA oleh Nathan Grosshans, Pierre Mckenzie, Luc Segoufin

    Diterbitkan 2022-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems

    FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems oleh Florent Jacquemard, Luc Segoufin, Jerémie Dimino

    Diterbitkan 2016-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Piecewise testable tree languages

    Piecewise testable tree languages oleh Mikołaj Bojańczyk, Luc Segoufin, Howard Straubing

    Diterbitkan 2012-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  11. 11
    Datalog Rewritings of Regular Path Queries using Views

    Datalog Rewritings of Regular Path Queries using Views oleh Nadime Francis, Luc Segoufin, Cristina Sirangelo

    Diterbitkan 2015-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  12. 12
    Enumerating Answers to First-Order Queries over Databases of Low Degree

    Enumerating Answers to First-Order Queries over Databases of Low Degree oleh Arnaud Durand, Nicole Schweikardt, Luc Segoufin

    Diterbitkan 2022-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: