walther@59827
|
1 |
|
walther@59827
|
2 |
@Proceedings{EPTCS79,
|
walther@59827
|
3 |
title = {{\rm Proceedings First Workshop on}
|
walther@59827
|
4 |
CTP Components for Educational Software (THedu'11)},
|
walther@59827
|
5 |
year = {2012},
|
walther@59827
|
6 |
booktitle = {Electronic Proceedings in Theoretical Computer Science},
|
walther@59827
|
7 |
editor = "Quaresma, Pedro and Back, Ralph-Johan",
|
walther@59827
|
8 |
volume = "79",
|
walther@59827
|
9 |
publisher = "Open Publishing Association"
|
walther@59827
|
10 |
}
|
walther@59827
|
11 |
@techreport{RISC5885,
|
walther@59827
|
12 |
author = {David M. Cerna},
|
walther@59827
|
13 |
title = {{Evaluation of the VL Logic (342.208-9) 2018W End of Semester Questionnaire}},
|
walther@59827
|
14 |
year = {2019},
|
walther@59827
|
15 |
month = {Feburary},
|
walther@59827
|
16 |
length = {17},
|
walther@59827
|
17 |
type = {RISC Report Series},
|
walther@59827
|
18 |
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
|
walther@59827
|
19 |
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
|
walther@59827
|
20 |
}
|
walther@59827
|
21 |
@Article{EMS-STT-19,
|
walther@59827
|
22 |
author = {Koichu, Boris and Pinto, Alon},
|
walther@59827
|
23 |
title = {The Seoncdary-Tertiary Transition in Mathematics. What are our current challenges and what can we do about them?},
|
walther@59827
|
24 |
journal = {EMS Newsletter},
|
walther@59827
|
25 |
year = {2019},
|
walther@59827
|
26 |
pages = {34-35},
|
walther@59827
|
27 |
month = {June},
|
walther@59827
|
28 |
doi = {10.4171/NEWS}
|
walther@59827
|
29 |
}
|
walther@59827
|
30 |
|
walther@59827
|
31 |
@Inproceedings{EPTCS290.6,
|
walther@59827
|
32 |
author = {Neuper, Walther},
|
walther@59827
|
33 |
year = {2019},
|
walther@59827
|
34 |
title = {Technologies for "Complete, Transparent \& Interactive Models of Math" in Education},
|
walther@59827
|
35 |
editor = {Quaresma, Pedro and Neuper, Walther},
|
walther@59827
|
36 |
booktitle = {{\rm Proceedings 7th International Workshop on}
|
walther@59827
|
37 |
Theorem proving components for Educational software,
|
walther@59827
|
38 |
{\rm Oxford, United Kingdom, 18 july 2018}},
|
walther@59827
|
39 |
series = {Electronic Proceedings in Theoretical Computer Science},
|
walther@59827
|
40 |
volume = {290},
|
walther@59827
|
41 |
publisher = {Open Publishing Association},
|
walther@59827
|
42 |
pages = {76-95},
|
walther@59827
|
43 |
doi = {10.4204/EPTCS.290.6}
|
walther@59827
|
44 |
}
|
walther@59827
|
45 |
@InProceedings{wneuper:gcd-coimbra,
|
walther@59827
|
46 |
author = {Neuper, Walther},
|
walther@59827
|
47 |
title = {{GCD} --- A Case Study on {L}ucas-Interpretation},
|
walther@59827
|
48 |
booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM},
|
walther@59827
|
49 |
year = {2014},
|
walther@59827
|
50 |
address = {Coimbra, Portugal},
|
walther@59827
|
51 |
month = {July 7-11},
|
walther@59827
|
52 |
note = {\url{http://ceur-ws.org/Vol-1186/paper-17.pdf}}
|
walther@59827
|
53 |
}
|
walther@59827
|
54 |
@Article{flip-class-meta,
|
walther@59827
|
55 |
author = {Shi, Y. and Ma, Y. and MacLeod, J. and others},
|
walther@59827
|
56 |
title = {College students’ cognitive learning outcomes in flipped classroom instruction: a meta-analysis of the empirical literature},
|
walther@59827
|
57 |
journal = {Journal of Computers in Education},
|
walther@59827
|
58 |
year = {2019},
|
walther@59827
|
59 |
pages = {1-25},
|
walther@59827
|
60 |
month = {May},
|
walther@59827
|
61 |
doi = {https://doi.org/10.1007/s40692-019-00142-8}
|
walther@59827
|
62 |
}
|
walther@59827
|
63 |
@inproceedings{krauss,
|
walther@59827
|
64 |
author = {Krauss, Alexander},
|
walther@59827
|
65 |
title = {Partial Recursive Functions in Higher-Order Logic},
|
walther@59827
|
66 |
pages = {589-603},
|
walther@59827
|
67 |
doi = {10.1007/11814771\_48},
|
walther@59827
|
68 |
editor = {Ulrich Furbach and Natarajan Shankar},
|
walther@59827
|
69 |
booktitle = {Automated Reasoning, Third International Joint Conference, IJCAR 2006},
|
walther@59827
|
70 |
publisher = {Springer},
|
walther@59827
|
71 |
series = {Lecture Notes in Computer Science},
|
walther@59827
|
72 |
volume = {4130},
|
walther@59827
|
73 |
year = {2006},
|
walther@59827
|
74 |
bibsource = {DBLP, http://dblp.uni-trier.de}
|
walther@59827
|
75 |
}
|
walther@59827
|
76 |
@Manual{funpack-tutorial,
|
walther@59827
|
77 |
title = {Defining Recursive Functions in {Isabelle/HOL}},
|
walther@59827
|
78 |
author = {Alexander Krauss},
|
walther@59827
|
79 |
address = {Munich},
|
walther@59827
|
80 |
year = {},
|
walther@59827
|
81 |
note = {{P}art of the Isabelle distribution},
|
walther@59827
|
82 |
url = {\url{http://isabelle.in.tum.de/doc/functions.pdf}}
|
walther@59827
|
83 |
}
|
walther@59827
|
84 |
@Misc{nipkow-prog-prove-ny,
|
walther@59827
|
85 |
author = {Nipkow, Tobias},
|
walther@59827
|
86 |
title = {Programming and Proving in {Isabelle/HOL}},
|
walther@59827
|
87 |
howpublished = {contained in the Isabelle distribution},
|
walther@59827
|
88 |
year = {},
|
walther@59827
|
89 |
url = {\url{http://isabelle.in.tum.de/doc/prog-prove.pdf}}
|
walther@59827
|
90 |
}
|
walther@59827
|
91 |
@Misc{code-gen-tutorial,
|
walther@59827
|
92 |
author = {Florian Haftmann},
|
walther@59827
|
93 |
title = {Code generation from {Isabelle/HOL} theories},
|
walther@59827
|
94 |
howpublished = {Contained in the Isabelle distribution},
|
walther@59827
|
95 |
year = {},
|
walther@59827
|
96 |
url = {\url{http://isabelle.in.tum.de/doc/prog-prove.pdf}}
|
walther@59827
|
97 |
}
|
walther@59827
|
98 |
@Misc{implem-tutorial,
|
walther@59827
|
99 |
author = {Makarius Wenzel},
|
walther@59827
|
100 |
title = {The {Isabelle/Isar} Implementation},
|
walther@59827
|
101 |
howpublished = {Contained in the Isabelle distribution},
|
walther@59827
|
102 |
year = {},
|
walther@59827
|
103 |
url = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}
|
walther@59827
|
104 |
}
|
walther@59827
|
105 |
@Misc{sledgehammer-tutorial,
|
walther@59827
|
106 |
author = {Jasmin C.Blanchette},
|
walther@59827
|
107 |
title = {{Hammering Away. A User's Guide to Sledgehammer for Isabelle/HOL}},
|
walther@59827
|
108 |
howpublished = {contained in the Isabelle distribution},
|
walther@59827
|
109 |
year = {},
|
walther@59827
|
110 |
url = {\url{http://isabelle.in.tum.de/doc/sledgehammer.pdf}}
|
walther@59827
|
111 |
}
|
walther@59827
|
112 |
@incollection {haftm-nipkow-code-gen-HRS-10,
|
walther@59827
|
113 |
author = {Haftmann, Florian and Nipkow, Tobias},
|
walther@59827
|
114 |
affiliation = {Institut für Informatik, Technische Universität München},
|
walther@59827
|
115 |
title = {Code Generation via Higher-Order Rewrite Systems},
|
walther@59827
|
116 |
booktitle = {Functional and Logic Programming},
|
walther@59827
|
117 |
series = {Lecture Notes in Computer Science},
|
walther@59827
|
118 |
editor = {Blume, Matthias and Kobayashi, Naoki and Vidal, Germán},
|
walther@59827
|
119 |
publisher = {Springer Berlin / Heidelberg},
|
walther@59827
|
120 |
isbn = {978-3-642-12250-7},
|
walther@59827
|
121 |
keyword = {Computer Science},
|
walther@59827
|
122 |
pages = {103-117},
|
walther@59827
|
123 |
volume = {6009},
|
walther@59827
|
124 |
url = {http://dx.doi.org/10.1007/978-3-642-12251-4\_9},
|
walther@59827
|
125 |
doi = {10.1007/978-3-642-12251-4\_9},
|
walther@59827
|
126 |
year = {2010}
|
walther@59827
|
127 |
}
|
walther@59827
|
128 |
@misc{url-afp,
|
walther@59827
|
129 |
title = {Archive of {F}ormal {P}roofs},
|
walther@59827
|
130 |
howpublished = {\url{http://afp.sourceforge.net}}
|
walther@59827
|
131 |
}
|
walther@59827
|
132 |
@incollection {Cogent-to-C-2016,
|
walther@59827
|
133 |
author = {S. Amani and A. Hixon and Z. Chen and C. Rizkallah and P. Chubb and L. O’Connor and
|
walther@59827
|
134 |
J. Beeren and Y. Nagashima and J. Lim and T. Sewell and J. Tuong and G. Keller and T. Murray and
|
walther@59827
|
135 |
G. Klein and G. Heiser},
|
walther@59827
|
136 |
title = {Cogent: Verifying High-Assurance File System Implementations},
|
walther@59827
|
137 |
booktitle = {International Conference on Architectural Support for Programming Languages and
|
walther@59827
|
138 |
Operating Systems},
|
walther@59827
|
139 |
publisher = {Springer Berlin / Heidelberg},
|
walther@59827
|
140 |
address = {Atlanta, GA, USA},
|
walther@59827
|
141 |
pages = {175-188},
|
walther@59827
|
142 |
doi = {10.1145/2872362.2872404},
|
walther@59827
|
143 |
year = {2016}
|
walther@59827
|
144 |
}
|
walther@59827
|
145 |
@InProceedings{wn:proto-sys,
|
walther@59827
|
146 |
author = {Krempler, Alan and Neuper, Walther},
|
walther@59827
|
147 |
year = {2018},
|
walther@59827
|
148 |
title = {Prototyping ``Systems that Explain Themselves'' for Education},
|
walther@59827
|
149 |
editor = {Quaresma, Pedro and Neuper, Walther},
|
walther@59827
|
150 |
booktitle = {{\rm Proceedings 6th International Workshop on}
|
walther@59827
|
151 |
Theorem proving components for Educational software,
|
walther@59827
|
152 |
{\rm Gothenburg, Sweden, 6 Aug 2017}},
|
walther@59827
|
153 |
series = {Electronic Proceedings in Theoretical Computer Science},
|
walther@59827
|
154 |
volume = {267},
|
walther@59827
|
155 |
publisher = {Open Publishing Association},
|
walther@59827
|
156 |
pages = {89-107},
|
walther@59827
|
157 |
doi = {10.4204/EPTCS.267.6}
|
walther@59827
|
158 |
}
|
walther@59827
|
159 |
@Book{Isa-tutor08,
|
walther@59827
|
160 |
author = {Nipkow, Tobias and Paulson, Lawrence C. and Wenzel, Markus},
|
walther@59827
|
161 |
title = {Isabelle/HOL, a proof assistant for high-order logic},
|
walther@59827
|
162 |
publisher = {Springer Verlag},
|
walther@59827
|
163 |
year = {2008}
|
walther@59827
|
164 |
}
|
walther@59827
|
165 |
@InCollection{pl:formal-lang-hist,
|
walther@59827
|
166 |
author = {Lucas, Peter},
|
walther@59827
|
167 |
title = {On the Formalization of Programming Languages: Early History and Main Approaches},
|
walther@59827
|
168 |
booktitle = {The Vienna Development Method: The Meta-Language},
|
walther@59827
|
169 |
publisher = {Springer},
|
walther@59827
|
170 |
year = {1978},
|
walther@59827
|
171 |
editor = {D. Bj{\o}rner and C. B. Jones},
|
walther@59827
|
172 |
volume = {16},
|
walther@59827
|
173 |
series = {LNCS},
|
walther@59827
|
174 |
doi = {10.1007/3-540-08766-4\_8}
|
walther@59827
|
175 |
}
|
walther@59827
|
176 |
@InProceedings{thedu16:lucin-user-view,
|
walther@59827
|
177 |
author = {Neuper, Walther},
|
walther@59827
|
178 |
title = {Lucas-Interpretation from Users' Perspective},
|
walther@59827
|
179 |
booktitle = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program,
|
walther@59827
|
180 |
and Work in Progress at the Conference on Intelligent Computer Mathematics},
|
walther@59827
|
181 |
year = {2016},
|
walther@59827
|
182 |
address = {Bialystok, Poland},
|
walther@59827
|
183 |
month = {July 25-29},
|
walther@59827
|
184 |
pages = {83-89},
|
walther@59827
|
185 |
note = {\url{http://cicm-conference.org/2016/ceur-ws/CICM2016-WIP.pdf}}
|
walther@59827
|
186 |
}
|
walther@59827
|
187 |
@Misc{wn:lucin-thedu18,
|
walther@59827
|
188 |
author = {Walther Neuper},
|
walther@59827
|
189 |
title = {Lucas-Interpretation from Programmers' Perspective},
|
walther@59827
|
190 |
year = {2018},
|
walther@59827
|
191 |
note = {Abstract for ThEdu'18 \url{http://www.ist.tugraz.at/projects/isac/publ/lucin-prog-view.pdf}}
|
walther@59827
|
192 |
}
|
walther@59827
|
193 |
@InProceedings{wn:lucas-interp-12,
|
walther@59827
|
194 |
author = "Neuper, Walther",
|
walther@59827
|
195 |
year = "2012",
|
walther@59827
|
196 |
title = "Automated Generation of User Guidance by Combining Computation and Deduction",
|
walther@59827
|
197 |
pages = "82-101",
|
walther@59827
|
198 |
doi = "10.4204/EPTCS.79.5",
|
walther@59827
|
199 |
booktitle = {Electronic Proceedings in Theoretical Computer Science},
|
walther@59827
|
200 |
editor = "Quaresma, Pedro and Back, Ralph-Johan",
|
walther@59827
|
201 |
volume = "79",
|
walther@59827
|
202 |
publisher = "Open Publishing Association"
|
walther@59827
|
203 |
}
|
walther@59827
|
204 |
@Book{progr-mathematica-2012,
|
walther@59827
|
205 |
author = {Maeder, Roman E.},
|
walther@59827
|
206 |
title = {Programming in Mathematica},
|
walther@59827
|
207 |
publisher = {Addison-Wesley},
|
walther@59827
|
208 |
address = {Reading, Mass.},
|
walther@59827
|
209 |
year = {2012},
|
walther@59827
|
210 |
edition = {3rd}
|
walther@59827
|
211 |
}
|
walther@59827
|
212 |
@PhdThesis{wn:diss,
|
walther@59827
|
213 |
author = {Neuper, Walther },
|
walther@59827
|
214 |
title = {Reactive User-Guidance by an Autonomous Engine Doing High-School Math},
|
walther@59827
|
215 |
school = {IICM - Inst. f. Softwaretechnology},
|
walther@59827
|
216 |
year = {2001},
|
walther@59827
|
217 |
address = {Technical University, A-8010 Graz},
|
walther@59827
|
218 |
note = {\url{http://www.ist.tugraz.at/projects/isac/publ/wn-diss.ps.gz}}
|
walther@59827
|
219 |
}
|
walther@59827
|
220 |
@Article{plmms10,
|
walther@59827
|
221 |
author = {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},
|
walther@59827
|
222 |
title = {{CTP}-based programming languages~? {C}onsiderations about an experimental design},
|
walther@59827
|
223 |
journal = {ACM Communications in Computer Algebra},
|
walther@59827
|
224 |
doi = {10.1145/1838599.1838621},
|
walther@59827
|
225 |
year = {2010},
|
walther@59827
|
226 |
volume = {44},
|
walther@59827
|
227 |
number = {1/2},
|
walther@59827
|
228 |
pages = {27-41},
|
walther@59827
|
229 |
month = {March/June}
|
walther@59827
|
230 |
}
|
walther@59827
|
231 |
@Article{back-SD-2010,
|
walther@59827
|
232 |
author = {R.-J. Back},
|
walther@59827
|
233 |
title = {Structured derivations: a unified proof style for teaching mathematics},
|
walther@59827
|
234 |
journal = {Formal Aspects of Computing},
|
walther@59827
|
235 |
year = {2010},
|
walther@59827
|
236 |
volume = {22},
|
walther@59827
|
237 |
number = {5},
|
walther@59827
|
238 |
pages = {629-661}
|
walther@59827
|
239 |
}
|
walther@59827
|
240 |
@MastersThesis{mlehnf:bakk-11,
|
walther@59827
|
241 |
author = {Mathias Lehnfeld},
|
walther@59827
|
242 |
title = {Verbindung von 'Computation' und 'Deduction' im \sisac-System},
|
walther@59827
|
243 |
school = {Institut f\"ur Computersprachen, Technische Universit\"at Wien},
|
walther@59827
|
244 |
year = {2011},
|
walther@59827
|
245 |
note = {Bakkalaureate project}
|
walther@59827
|
246 |
}
|
walther@59827
|
247 |
@incollection{paulson700,
|
walther@59827
|
248 |
author = {Lawrence C. Paulson},
|
walther@59827
|
249 |
title = {{Isabelle}: The Next 700 Theorem Provers},
|
walther@59827
|
250 |
booktitle = {Logic and Computer Science},
|
walther@59827
|
251 |
editor = {P. Odifreddi},
|
walther@59827
|
252 |
pages = {361-386},
|
walther@59827
|
253 |
publisher = {Academic Press},
|
walther@59827
|
254 |
url = {https://arxiv.org/abs/cs/9301106},
|
walther@59827
|
255 |
year = {1990}
|
walther@59827
|
256 |
}
|
walther@59827
|
257 |
@misc{RISC4777,
|
walther@59827
|
258 |
author = {B. Buchberger},
|
walther@59827
|
259 |
title = {{The Role of Mathematical Thinking for 21st Century Society}},
|
walther@59827
|
260 |
language = {english},
|
walther@59827
|
261 |
year = {2013},
|
walther@59827
|
262 |
month = {March 4-6},
|
walther@59827
|
263 |
annote = {2013-03-04-A},
|
walther@59827
|
264 |
note = {Invited talk at The 2nd International Conference on Mathematics and Technology in Mathematics Education},
|
walther@59827
|
265 |
institution = {Khemarak University, Phnom Penh, Cambodia},
|
walther@59827
|
266 |
conferencename = {The 2nd International Conference on Mathematics and Technology in Mathematics Education}
|
walther@59827
|
267 |
}
|
walther@59827
|
268 |
@Article{EMS-math-ethics,
|
walther@59827
|
269 |
author = {Chiodo, Maurice and Clifton, Toby},
|
walther@59827
|
270 |
title = {The Importance of Ethics in Mathematics},
|
walther@59827
|
271 |
journal = {Newsletter of the European Mathematical Society},
|
walther@59827
|
272 |
year = {2019},
|
walther@59827
|
273 |
volume = {114},
|
walther@59827
|
274 |
pages = {34-37},
|
walther@59827
|
275 |
month = {December},
|
walther@59827
|
276 |
url = {\url{https://euro-math-soc.eu/newsletter}}
|
walther@59827
|
277 |
}
|
walther@59827
|
278 |
@MastersThesis{ggt02,
|
walther@59827
|
279 |
author = {Karnel, Stefan},
|
walther@59827
|
280 |
title = {Gr\"o{\ss}te gemeinsame Teiler in Polynomringen und Implementierung im \isac-Projekt},
|
walther@59827
|
281 |
school = {University of Technology, Institute of Mathematics},
|
walther@59827
|
282 |
year = {2002},
|
walther@59827
|
283 |
address = {Graz, Austria},
|
walther@59827
|
284 |
month = {Aug}
|
walther@59827
|
285 |
}
|
walther@59827
|
286 |
@InProceedings{gdaroczy-EP-13,
|
walther@59827
|
287 |
author = {Gabriella Dar\'{o}czy and Walther Neuper},
|
walther@59827
|
288 |
title = {Error-Patterns within ``Next-Step-Guidance'' in TP-based Educational Systems},
|
walther@59827
|
289 |
booktitle = {eJMT, the Electronic Journal of Mathematics \& Technology},
|
walther@59827
|
290 |
year = {2013},
|
walther@59827
|
291 |
volume = {7},
|
walther@59827
|
292 |
pages = {175-194},
|
walther@59827
|
293 |
month = {February},
|
walther@59827
|
294 |
note = {Special Issue ``TP-based Systems and Education''},
|
walther@59827
|
295 |
url = {\url{https://php.radford.edu/~ejmt/ContentIndex.php\#v7n2}}
|
walther@59827
|
296 |
}
|
walther@59827
|
297 |
@TECHREPORT{tBaBoEr07a,
|
walther@59827
|
298 |
author = {Back, Ralph-Johan and Bos, Victor and Eriksson, Johannes},
|
walther@59827
|
299 |
title = {MathEdit: Tool Support for Structured Calculational Proofs},
|
walther@59827
|
300 |
institution = {TUCS},
|
walther@59827
|
301 |
year = {2007},
|
walther@59827
|
302 |
number = {854},
|
walther@59827
|
303 |
month = {Dec},
|
walther@59827
|
304 |
note = {\url{http://tucs.fi/publications/view/?pub_id=tBaBoEr07a}}
|
walther@59827
|
305 |
}
|
walther@59827
|
306 |
@article{Farmer_al:93,
|
walther@59827
|
307 |
author = {W. D. Farmer and J. D. Guttman and F. J. Thayer},
|
walther@59827
|
308 |
title = {{IMPS: An Interactive Mathematical Proof System}},
|
walther@59827
|
309 |
journal = {Journal of Automated Reasoning},
|
walther@59827
|
310 |
year = {1993},
|
walther@59827
|
311 |
volume = {11},
|
walther@59827
|
312 |
month = {August},
|
walther@59827
|
313 |
number = {2},
|
walther@59827
|
314 |
pages = {213-248},
|
walther@59827
|
315 |
}
|
walther@59827
|
316 |
@InProceedings{gclc-06,
|
walther@59827
|
317 |
author = {Jani\v{c}i\'c, Predrag},
|
walther@59827
|
318 |
title = {{GCLC} --- a tool for constructive euclidean geometry and more than that},
|
walther@59827
|
319 |
booktitle = {Mathematical Software -- {ICMS} 2006},
|
walther@59827
|
320 |
pages = {58-73},
|
walther@59827
|
321 |
year = {2006},
|
walther@59827
|
322 |
number = {4151}
|
walther@59827
|
323 |
}
|
walther@59827
|
324 |
@Article{ggb:atp-15,
|
walther@59827
|
325 |
author = {Botana, F. and Hohenwarter, M. and Jani\v{c}i\'c, P. and Kov\'acs, Z. and Petrovi\'c, I. and Recio, T. and Weitzhofer, S.},
|
walther@59827
|
326 |
title = {Automated Theorem Proving in {GeoGebra}: Current Achievements},
|
walther@59827
|
327 |
journal = {Journal of Automated Reasoning},
|
walther@59827
|
328 |
year = {2015},
|
walther@59827
|
329 |
volume = {55},
|
walther@59827
|
330 |
number = {1},
|
walther@59827
|
331 |
pages = {39-59},
|
walther@59827
|
332 |
ISSN = {0168-7433},
|
walther@59827
|
333 |
DOI = {http://dx.doi.org/10.1007/s10817-015-9326-4}
|
walther@59827
|
334 |
}
|
walther@59827
|
335 |
@Manual{isabelle-jedit,
|
walther@59827
|
336 |
title = {{Isabelle/jEdit}},
|
walther@59827
|
337 |
author = {Makarius Wenzel},
|
walther@59827
|
338 |
address = {Munich},
|
walther@59827
|
339 |
note = {Part of the Isabelle distribution},
|
walther@59827
|
340 |
note = {\url{http://isabelle.in.tum.de/doc/jedit.pdf}}
|
walther@59827
|
341 |
}
|
walther@59827
|
342 |
@TechReport{Yacc-1975,
|
walther@59827
|
343 |
author = {Johnson, Stephen C.},
|
walther@59827
|
344 |
title = {Yacc: {Y}et {A}nother {C}ompiler-{C}ompiler},
|
walther@59827
|
345 |
institution = {AT\&T Bell Laboratories},
|
walther@59827
|
346 |
year = {1975},
|
walther@59827
|
347 |
number = {32},
|
walther@59827
|
348 |
address = {Murray Hill, New Jersey},
|
walther@59827
|
349 |
note = {Retrieved 31 January 2020}
|
walther@59827
|
350 |
}
|
walther@59827
|
351 |
|