Skip to main content
Theoretical Computer Science
Ulrik Rasmussen's user avatar
Ulrik Rasmussen's user avatar
Ulrik Rasmussen's user avatar
Ulrik Rasmussen
  • Member for 9 years, 9 months
  • Last seen more than 2 years ago
Profile Activity
Stats
420
reputation
1k
reached
2
answers
4
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
View all tags
4
Score
4
Posts
67
Posts %
4
Score
3
Posts
50
Posts %
4
Score
1
Posts
17
Posts %
4
Score
1
Posts
17
Posts %
1
Score
4
Posts
67
Posts %
1
Score
2
Posts
33
Posts %
Top posts
question
8
A word anticorrespondence problem
Feb 4, 2016
question
7
Does PEG contain CFG?
May 19, 2016
question
7
Extensional characterization of non-deterministic finite state transductions
Dec 22, 2014
answer
4
Are equalizers of regular functions always regular languages? (My guess is no because PCP, but...)
Mar 3, 2016
question
3
Reference request: pi-calculus with simultaneous events
Aug 25, 2020
answer
1
Reference request: pi-calculus with simultaneous events
Sep 9, 2020
Top network posts
View all network posts
33
Why is every category not isomorphic to its opposite?
18
How to return multiple objects from a Java method?
17
In Kotlin, how do you declare a data class with zero constructor parameters?
10
What JWT claims from Azure AD tokens can be safely used for user mappings?
9
Proving basic lemmas about categories with finite products and terminal/initial objects.