Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /
Συγγραφή απο Οργανισμό/Αρχή: | DIMACS Workshop on Descriptive Complexity and Finite Models Princeton University |
---|---|
Άλλοι συγγραφείς: | Immerman, Neil, 1953- (επιμελητής.), Κολαΐτης, Φωκίων Γ. (επιμελητής.) |
Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Providence, R.I. :
American Mathematical Society,
c1997.
|
Σειρά: | DIMACS series in discrete mathematics and theoretical computer science
31. |
Θέματα: |
Παρόμοια τεκμήρια
-
Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California June 2-5,1986 /
Έκδοση: (1986) -
Computational complexity /
ανά: Wagner, K. (Klaus)
Έκδοση: (1986) -
Structural complexity /
ανά: Balcázar, José Luis
Έκδοση: (1995) -
Computational complexity /
ανά: Papadimitriou, Christos H., 1949-
Έκδοση: (1994) -
Complexity theory : current research /
Έκδοση: (1993)