Search Results - Kolaitis, P.G.

  • Showing 1 - 16 results of 16
Refine Results
  1. 1
    Reflections on Finite Model Theory

    Reflections on Finite Model Theory by Kolaitis, P.G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    On the Expressive Power of Datalog: Tools and a Case Study

    On the Expressive Power of Datalog: Tools and a Case Study by Kolaitis, P.G., Vardi, M.Y.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    First-order logic vs. fixed-point logic in finite set theory

    First-order logic vs. fixed-point logic in finite set theory by Atserias, A., Kolaitis, P.G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Approximation Properties of NP Minimization Classes

    Approximation Properties of NP Minimization Classes by Kolaitis, P.G., Thakur, M.N.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    On the boundedness problem for two-variable first-order logic

    On the boundedness problem for two-variable first-order logic by Kolaitis, P.G., Ottot, M.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    On the expressive power of variable-confined logics

    On the expressive power of variable-confined logics by Kolaitis, P.G., Vardi, M.Y.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Implicit definability on finite structures and unambiguous computations

    Implicit definability on finite structures and unambiguous computations by Kolaitis, P.G.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    How to define a linear order on finite models

    How to define a linear order on finite models by Hella, L., Kolaitis, P.G., Luosto, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Existential second-order logic over graphs: charting the tractability frontier

    Existential second-order logic over graphs: charting the tractability frontier by Gottlob, G., Kolaitis, P.G., Schwentick, T.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    0-1 laws for infinitary logics

    0-1 laws for infinitary logics by Kolaitis, P.G., Vardi, M.Y.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Fixpoint logic vs. infinitary logic in finite-model theory

    Fixpoint logic vs. infinitary logic in finite-model theory by Kolaitis, P.G., Vardi, M.Y.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Integer programming as a framework for optimization and approximability

    Integer programming as a framework for optimization and approximability by Barland, I., Kolaitis, P.G., Thakur, M.N.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Approximation properties of NP minimization classes

    Approximation properties of NP minimization classes by Kolaitis, P.G., Thakur, M.N.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    0-1 laws and decision problems for fragments of second-order logic

    0-1 laws and decision problems for fragments of second-order logic by Kolaitis, P.G., Vardi, M.Y.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Generalized quantifiers and pebble games on finite structures

    Generalized quantifiers and pebble games on finite structures by Kolaitis, P.G., Vaananen, J.A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    A dichotomy in the complexity of propositional circumscription

    A dichotomy in the complexity of propositional circumscription by Kirousis, L.M., Lolaitis, P.G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: