This website requires JavaScript.
Explore
Help
Sign In
ODIn
/
paper-BagRelationalPDBsAreHard
Watch
1
Star
0
Fork
You've already forked paper-BagRelationalPDBsAreHard
0
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
997
Commits
1
Branch
0
Tags
78
MiB
master
Commit Graph
3 Commits (master)
Author
SHA1
Message
Date
Aaron Huber
775ec53143
Read through/cleaning of Appendix C up to C.11.
2022-04-26 14:19:14 -04:00
Aaron Huber
7ab8af7124
Switched appendix to \onecolumn; fixed nits
@atri
pointed out.
2022-03-17 10:23:12 -04:00
Aaron Huber
580e6876fb
Fixed lemma 4.8 proof per
@atri
030722 comments.
2022-03-08 20:26:18 -05:00