issues
search
zhilin02
/
slreplace
1
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Reformulating the abstract a bit so that it's more straight-line
#19
amandasystems
closed
3 years ago
1
Closure example, emphasise parameters
#18
matthewhague
closed
6 years ago
0
Write up reduction from k-reversal-bounded to one-way with reverse
#17
matthewhague
closed
6 years ago
7
Address comments on n-exp lower bound
#16
matthewhague
closed
6 years ago
0
example for sect 4
#15
chentaolue
closed
6 years ago
0
Allow several symbols to be output by one transition of transducers
#14
matthewhague
closed
6 years ago
1
2expspace lower bound for reversal bounded counters
#13
matthewhague
closed
6 years ago
26
Comments on symbolic automata write up
#12
matthewhague
closed
6 years ago
6
Add proof of Proposition 2 (\ref{prop:replaceAll}) in appendix
#11
anthonywlin
closed
6 years ago
1
Add Complexity background in Section 2
#10
anthonywlin
closed
6 years ago
0
Update lower bound appendix to new def of 2T and 2NFA
#9
matthewhague
closed
6 years ago
0
Write up auto-sanitisation example
#8
matthewhague
closed
6 years ago
1
Adapt section 4
#7
matthewhague
closed
6 years ago
1
Clean up section 3
#6
matthewhague
closed
6 years ago
0
Add examples/intro
#5
matthewhague
closed
6 years ago
0
Clarify/work out complexity for symbolic stuff
#4
matthewhague
closed
6 years ago
0
Work on lower bound section
#3
matthewhague
closed
6 years ago
0
Add reversal bounded stuff
#2
matthewhague
closed
6 years ago
0
Test todo item
#1
matthewhague
closed
6 years ago
0