CDMTCS research report series
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: | CDMTCS research report series/ Centre for Discrete Mathematics and Theoretical Computer Science |
Erscheinungsverlauf: | CDMTCS-001 (April 1995)- |
veröffentlicht: |
[Auckland]
Centre for Discrete Mathematics and Theoretical Computer Science
[1995]-
|
Schlagwörter: | |
Beschreibung: | Gesehen am 29.01.2020 |
Format: | Elektronische Schriftenreihe Monographische Schriftenreihe |
Sprache: | Englisch |
Ergebnisse weiter eingrenzen
-
1
Algorithmic information theory: open problems (1996)
veröffentlicht 1996
In Bestand: CDMTCS research report series -
2
Algorithms for the discovery of embedded functional dependencies (2020)
veröffentlicht 2020
In Bestand: CDMTCS research report series -
3
-
4
Automated reasoning about the entity integrity of big data in possibilistic SQL (2020)
veröffentlicht 2020
In Bestand: CDMTCS research report series -
5
Bi-immunity over different size alphabets (2021)
veröffentlicht 2021
In Bestand: CDMTCS research report series -
6
Bounds on the Kolmogorov complexity function for infinite words (2016)
veröffentlicht 2016
In Bestand: CDMTCS research report series -
7
Clusters of two player games and restricted determinacy theorem (1997)
veröffentlicht 1997
In Bestand: CDMTCS research report series -
8
Complexity: a language-theoretic point of view (1995)
veröffentlicht 1995
In Bestand: CDMTCS research report series -
9
Compound constructions of minimal broadcast networks (1997)
veröffentlicht 1997
In Bestand: CDMTCS research report series -
10
Computable isomorphisms, degree spectra of relations, and Scott families (1997)
veröffentlicht 1997
In Bestand: CDMTCS research report series -
11
Computably categorical structures and expansions by constants (1996)
veröffentlicht 1996
In Bestand: CDMTCS research report series -
12
Computably presentable models of theories with few models (1996)
veröffentlicht 1996
In Bestand: CDMTCS research report series -
13
Computation with finitely generated abelian groups (2018)
veröffentlicht 2018
In Bestand: CDMTCS research report series -
14
A computational mathematics view of space, time and complexity (2016)
veröffentlicht 2016
In Bestand: CDMTCS research report series -
15
Computing downwards accumulations on trees quickly (1995)
veröffentlicht 1995
In Bestand: CDMTCS research report series -
16
A constructive proof of Gleason's theorem (1997)
veröffentlicht 1997
In Bestand: CDMTCS research report series -
17
-
18
D-Wave experimental results for an improved QUBO formulation of the broadcast time problem (2018)
veröffentlicht 2018
In Bestand: CDMTCS research report series -
19
Data-completeness tailored database design with embedded functional dependencies (2019)
veröffentlicht 2019
In Bestand: CDMTCS research report series -
20
Decidable Kripke models of intuitionistic theories (1997)
veröffentlicht 1997
In Bestand: CDMTCS research report series