Mathematics
Alberto's user avatar
Alberto's user avatar
Alberto's user avatar
Alberto
  • Member for 11 years, 3 months
  • Last seen this week
  • Italy
Profile Activity
Stats
453
reputation
5k
reached
3
answers
19
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
13
bronze badges
Top tags
View all tags
3
Score
6
Posts
27
Posts %
3
Score
5
Posts
23
Posts %
3
Score
4
Posts
18
Posts %
3
Score
4
Posts
18
Posts %
3
Score
4
Posts
18
Posts %
0
Score
3
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
10
Does there exist a universal pushdown automaton?
Jul 10, 2012
question
5
Deciding equivalence of regular languages
Sep 11, 2012
question
3
Primitive roots of unity in Galois Theory
Jul 28, 2017
answer
3
Deciding equivalence of regular languages
Sep 12, 2012
question
2
Is the set of codes of Deterministic Finite-State Automata a regular language?
Jul 9, 2012
question
2
Module of differential forms over the ring of smooth functions
Jun 3, 2018
question
2
First-order formulas with exponentially large models
Jan 26, 2019
question
2
First-order analytic tableaux that find finite models whenever they exist
Apr 4, 2021
question
1
Satisfiability problem for FOL[<,R]
Jun 29, 2012
question
1
Guessing source of vector field
Apr 29, 2017
Top network posts
View all network posts
6
Is the set of codes of Deterministic Finite-State Automata a regular language?

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.