Computer Science
Hans Hüttel
Profile Activity
Stats
2,398
reputation
70k
reached
64
answers
0
questions
Communities
View all
About

Associate Professor in the Department of Computer Science at Aalborg University.

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
15
bronze badges
Top tags
View all tags
46
Score
13
Posts
20
Posts %
37
Score
13
Posts
20
Posts %
36
Score
15
Posts
23
Posts %
29
Score
15
Posts
23
Posts %
27
Score
15
Posts
23
Posts %
26
Score
9
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
23
Lambda calculus didn't seem abstract. And I can't see the point of it
Dec 3 '16
10
Why does the state remain unchanged in the small-step operational semantics of a while loop?
Oct 16 '16
7
Lambda calculus :difficulty in getting hang of induction and conversion
Jun 11 '17
7
Should two DFAs be complete before making an intersection of them?
Oct 24 '16
6
When does the product automaton of two NFAs A and B not decide L(A) U L(B)?
May 12 '17
6
Can an NFA have multiple accepting states?
Dec 28 '16
6
Is the difference between between an union and a product of two DFA lies in their accepting states?
Oct 24 '16
6
Expressing 3-SAT in first-order logic
Oct 22 '16
5
DFA with less states than NFA
Feb 24 '17
5
Are problems in NP decidable in polynomial time by NDTMs, or just recognisable?
Jan 2 '17
Top network posts
View all network posts
43
Copyright Status of a Math Text
23
Why study finite-dimensional vector spaces in the abstract if they are all isomorphic to $R^n$?
18
Slightly changing the formal definition of continuity of $f: \mathbb{R} \to \mathbb{R}$?
12
Still struggling to understand vacuous truths
10
How to respond positively to a scientist's rejection e-mail (PhD program)?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.