Search for persons
X
?
Studies in Applied Philosophy, Epistemology and Rational Ethics; Philosophy and Theory of Artificial Intelligence 2021 ,
1
Validating Non-trivial Semantic Properties of Autonomous Ro..:
, In:
?
SOFSEM 2021: Theory and Practice of Computer Science; Lecture Notes in Computer Science ,
2
Towards Minimally Conscious Cyber-Physical Systems: A Manif..:
, In:
?
Treewidth, Kernels, and Algorithms; Lecture Notes in Computer Science ,
3
Algorithms, Complexity, and Hans:
, In:
?
Computing with Foresight and Industry; Lecture Notes in Computer Science ,
4
Finite State Machines with Feedback: An Architecture Suppor..:
, In:
?
Alan Turing: His Work and Impact ,
5
Computability and λ-Definability**Supported in part by NWO ..:
, In:
?
Alan Turing: His Work and Impact ,
8
On Permutation Groups11Extracted from the Introduction to v..:
, In:
?
Alan Turing: His Work and Impact ,
10
Some Calculations of the Riemann Zeta function: On a Theore..:
, In:
?
Alan Turing: His Work and Impact ,
12
On Computable Numbers, with an Application to the Entscheid..:
, In:
?
Alan Turing: His Work and Impact ,
13
The use of Dots as Brackets in Church's System**Thanks to m..:
, In:
?
Alan Turing: His Work and Impact ,
15