|
931 |
Quantifier elimination over real closed fields in the context of applied description logics
Schultz, Claudia. - Hamburg : Univ., Bibl. des Fachbereichs Informatik, 2005
|
|
|
|
932 |
Realization and counting problems for planar structures
Ribó Mor, Ares, 2005
|
|
|
|
933 |
Saturation based decision procedures for extensions of the guarded fragment
Kazakov, Yevgeny, 2005
|
|
|
|
934 |
Spectral partitioning of random graphs with given expected degrees
Coja-Oghlan, Amin. - Chemnitz : TU, Fak. für Informatik, 2005
|
|
|
|
935 |
Structure and linear time recognition of 4 leaf powers
Brandstädt, Andreas. - Rostock : Univ., Fachbereich Informatik, 2005
|
|
|
|
936 |
The additivity of the two-dimensional Miller ideal
Thiele, Sonja, 2005
|
|
|
|
937 |
The defect of language tables
Brandt, Ulrike. - Darmstadt : Techn. Univ., Fachbereich Informatik, 2005
|
|
|
|
938 |
The equivalence of almost bent and almost perfect nonlinear functions and their generalizations
Budaghyan, Lilya, 2005
|
|
|
|
939 |
The geometry of Moufang sets
Knop, Rafael, 2005
|
|
|
|
940 |
The influence of poles on equioscillation in rational approximation
Blatt, Hans-Peter. - Eichstätt : Kath. Univ., Math.-Geographische Fak., 2005
|
|
Administration
