Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14 - 17, 1996, Princeton University

Descriptive complexity and finite models proceedings of a DIMACS workshop, January 14 - 17, 1996, Princeton University

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: American Mathematical Society (BerichterstatterIn), Special Year on Logic and Algorithms (BerichterstatterIn)
Weitere Verfasser: Immerman, Neil (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Providence, R.I. American Mathematical Society 1997
Schriftenreihe:DIMACS series in discrete mathematics and theoretical computer science 31
Schlagworte:
Computational complexity > Congresses > Model theory > Finite groups > Numbers, Complex > Konferenzschrift > Modelltheorie > Berechnungskomplexität
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XVI, 248 S
grap. Darst
26cm
ISBN:0821805177
0-8218-0517-7