equal
deleted
inserted
replaced
133 author = {Firas Dib}, |
133 author = {Firas Dib}, |
134 year = {2011}, |
134 year = {2011}, |
135 url = {https://regex101.com/}, |
135 url = {https://regex101.com/}, |
136 keywords = {regex tester debugger} |
136 keywords = {regex tester debugger} |
137 } |
137 } |
138 |
138 @misc{atomEditor, |
|
139 title = {Atom Editor}, |
|
140 author = {Dunno}, |
|
141 year = {2022}, |
|
142 url = {https://atom.io}, |
|
143 keywords = {text editor} |
|
144 } |
139 @techreport{grathwohl2014crash, |
145 @techreport{grathwohl2014crash, |
140 title={A Crash-Course in Regular Expression Parsing and Regular Expressions as Types}, |
146 title={A Crash-Course in Regular Expression Parsing and Regular Expressions as Types}, |
141 author={Grathwohl, Niels Bj{\o}rn Bugge and Henglein, Fritz and Rasmussen, Ulrik Terp}, |
147 author={Grathwohl, Niels Bj{\o}rn Bugge and Henglein, Fritz and Rasmussen, Ulrik Terp}, |
142 year={2014}, |
148 year={2014}, |
143 institution={Technical report, University of Copenhagen} |
149 institution={Technical report, University of Copenhagen} |