Centre for Discrete Mathematics and Theoretical Computer Science


Research Reports


Showing Year 2020 Reports

ID Author & Report Title Date Action
541
Title:
Automated Reasoning about the Entity Integrity of Big Data in Possibilistic SQL
Name:
I. Litvinenko, Z. Wei and S. Link
01/2020
542
Title:
Algorithms for the Discovery of Embedded Functional Dependencies
Name:
Z. Wei, S Hartmann and S. Link
03/2020
543
Title:
A New Quantum Random Number Generator Certified by Value Indefiniteness
Name:
J.M. Aguero-Trejo and C.S. Calude
05/2020
544
Title:
Solving Maximum Common Subgraph Isomorphism Problem with Quantum Annealing
Name:
N. Huang and D. Roje
06/2020
545
Title:
Solving a PSPACE-complete Problem with cP Systems
Name:
A. Henderson, R. Nicolescu and M.J. Dinneen
07/2020
546
Title:
Incompleteness and the Halting Problem
Name:
C.S. Calude
08/2020
547
Title:
Maximal Towers and Ultrafilter Bases in Computability Theory
Name:
S. Lempp, J.S. Miller, A. Nies, M.I. Soskova
09/2020
548
Title:
On the Generative Power of Quasiperiods
Name:
L. Staiger
10/2020


Please give us your feedback or ask us a question

This message is...


My feedback or question is...


My email address is...

(Only if you need a reply)

A to Z Directory | Site map | Accessibility | Copyright | Privacy | Disclaimer | Feedback on this page