equal
deleted
inserted
replaced
1 %% This BibTeX bibliography file was created using BibDesk. |
1 %% This BibTeX bibliography file was created using BibDesk. |
2 %% https://bibdesk.sourceforge.io/ |
2 %% https://bibdesk.sourceforge.io/ |
3 |
3 |
4 %% Created for CS TAN at 2019-06-26 17:07:31 +0100 |
4 %% Created for CS TAN at 2019-07-03 22:17:58 +0100 |
5 |
5 |
6 |
6 |
7 %% Saved with string encoding Unicode (UTF-8) |
7 %% Saved with string encoding Unicode (UTF-8) |
8 |
8 |
9 |
9 |
|
10 |
|
11 @article{nielson11bcre, |
|
12 Author = { Lasse Nielsen, Fritz Henglein}, |
|
13 Date-Added = {2019-07-03 21:09:39 +0000}, |
|
14 Date-Modified = {2019-07-03 21:17:33 +0000}, |
|
15 Journal = {LATA}, |
|
16 Title = {Bit-coded Regular Expression Parsing}, |
|
17 Year = {2011}, |
|
18 Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QGC4uLy4uLy4uL2ZyaXR6LXBhcGVyLnBkZtIXCxgZV05TLmRhdGFPEQFGAAAAAAFGAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8PZnJpdHotcGFwZXIucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAADAAEAAAogY3UAAAAAAAAAAAAAAAAAB0Rlc2t0b3AAAAIAJS86VXNlcnM6Y3N0YW46RGVza3RvcDpmcml0ei1wYXBlci5wZGYAAA4AIAAPAGYAcgBpAHQAegAtAHAAYQBwAGUAcgAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAI1VzZXJzL2NzdGFuL0Rlc2t0b3AvZnJpdHotcGFwZXIucGRmAAATAAEvAAAVAAIADP//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAKkArgC2AgACAgIHAhICGwIpAi0CNAI9AkICTwJSAmQCZwJsAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAm4=}} |
10 |
19 |
11 @misc{SE16, |
20 @misc{SE16, |
12 Author = {StackStatus}, |
21 Author = {StackStatus}, |
13 Date-Added = {2019-06-26 11:28:41 +0000}, |
22 Date-Added = {2019-06-26 11:28:41 +0000}, |
14 Date-Modified = {2019-06-26 16:07:31 +0000}, |
23 Date-Modified = {2019-06-26 16:07:31 +0000}, |