Treffer 1 - 20 von 59 für Suche 'IMMERMAN, N', Suchdauer: 0,87s Treffer weiter einschränken
  1. 1
    Languages that capture complexity classes

    Languages that capture complexity classes von IMMERMAN, N

    Veröffentlicht in SIAM journal on computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The Complexity of Decentralized Control of Markov Decision Processes

    The Complexity of Decentralized Control of Markov Decision Processes von Bernstein, Daniel S, Givan, Robert, Immerman, Neil, Zilberstein, Shlomo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

    Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures von Lev-Ami, T., Immerman, N., Reps, T., Sagiv, M., Srivastava, S., Yorsh, G.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Complete problems for dynamic complexity classes

    Complete problems for dynamic complexity classes von Hesse, W., Immerman, N.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Embedding linkages on an integer lattice

    Embedding linkages on an integer lattice von LANDAU, S, IMMERMAN, N

    Veröffentlicht in Algorithmica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Nondeterministic space is closed under complementation

    Nondeterministic space is closed under complementation von IMMERMAN, N

    Veröffentlicht in SIAM journal on computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The Complexity of Iterated Multiplication

    The Complexity of Iterated Multiplication von Immerman, N., Landau, S.

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    The Complexity of Satisfiability Problems: Refining Schaefer’s Theorem

    The Complexity of Satisfiability Problems: Refining Schaefer’s Theorem von Allender, Eric, Bauland, Michael, Immerman, Neil, Schnoor, Henning, Vollmer, Heribert


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    "An n! lower bound on formula size"

    "An n! lower bound on formula size" von Adler, M., Immerman, N.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Dyn-FO: A Parallel, Dynamic Complexity Class

    Dyn-FO: A Parallel, Dynamic Complexity Class von Patnaik, Sushant, Immerman, Neil


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    An optimal lower bound on the number of variables for graph identification

    An optimal lower bound on the number of variables for graph identification von JIN-YI CAI, FÜRER, M, IMMERMAN, N

    Veröffentlicht in Combinatorica (Budapest. 1981)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    The Crane Beach Conjecture

    The Crane Beach Conjecture von Barrington, D.A., Immerman, N., Lautemann, C., Schweikardt, N., Therien, D.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    First-order expressibility of languages with neutral letters or: The Crane Beach conjecture

    First-order expressibility of languages with neutral letters or: The Crane Beach conjecture von Mix Barrington, David A., Immerman, Neil, Lautemann, Clemens, Schweikardt, Nicole, Thérien, Denis


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Leader election algorithms for wireless ad hoc networks

    Leader election algorithms for wireless ad hoc networks von Vasudevan, S., DeCleene, B., Immerman, N., Kurose, J., Towsley, D.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    First-Order and Temporal Logics for Nested Words

    First-Order and Temporal Logics for Nested Words von Alur, R., Arenas, M., Barcelo, P., Etessami, K., Immerman, N., Libkin, L.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    On uniformity within NC1

    On uniformity within NC1 von Mix Barrington, David A., Immerman, Neil, Straubing, Howard


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Expressibility and parallel complexity

    Expressibility and parallel complexity von IMMERMAN, N

    Veröffentlicht in SIAM journal on computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Tree canonization and transitive closure

    Tree canonization and transitive closure von Etessami, K., Immerman, N.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A syntactic characterization of NP-completeness

    A syntactic characterization of NP-completeness von Medina, J.A., Immerman, N.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A generalization of Fagin's theorem

    A generalization of Fagin's theorem von Medina, J.A., Immerman, N.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: