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