@INCOLLECTION{Montague:tptoqioe73,crossref={Montague:tptoqi73}}
@INCOLLECTION{mont:prop73,crossref={Montague:tptoqi73}}
@INCOLLECTION{kamp81,crossref={Kamp:atotas81}}
@TECHREPORT{Kohlhase94a,crossref={Kohlhase:hoosr94}}
@article{ZanibbiBlostein:RecRetMath,crossref={ZanBlo:rrme12}}
@TECHREPORT{BHLR:xmln06,
title = {{Namespaces in XML 1.0 (Second Edition)}},
institution = {World Wide Web Consortium ({W3C})},
year = {2006},
month = aug,
type = {{W3C} Recommendation},
author = {Tim Bray and Dave Hollander and Andrew Layman and Richard Tobin},
url = {http://www.w3.org/TR/REC-xml-names/},
key = {Bray}}
@INPROCEEDINGS{ags-2001-d-9,crossref = FiedlerHoracek:aietlp01}
% moved
@online{mitm:smglom:on,crossref={mitm:smglom:on}}
@online{CASL-NU,crossref={CASL}}
@inproceedings{KohlhaseRapp:fgwm19,crossref={KohRapp:cgal19}}
@ARTICLE{eijck:typstat,crossref = {Eijck:tlws97}}
@INPROCEEDINGS{pratt76,crossref={Pratt:scofhl76}}
@misc{rabeEA:isabelle-lf:10,
author = "M. Iancu and Florian Rabe",
title = "{A Formal Semantics of Isabelle/HOL}",
year = "2010",
url = {https://svn.kwarc.info/repos/twelf/isabelle},
pubs={frabe,latin,mmt}
}
@TECHREPORT{BusCapCar:2oms03,
title = {The {OpenMath} Standard, Version 2.0 Public Draft 4},
year = {2003},
institution = {The {OpenMath} Society},
url = {http://www.openmath.org/standard/om20-2003-11-24/},
author = {Stephen Buswell and Olga Caprotti and David P. Carlisle and Michael
C. Dewar and Marc Gaetano and Michael Kohlhase},
key = {Caprotti}}
@TECHREPORT{W3C:svg02,
title = {Scalable Vector Graphics (SVG) 1.1 Specification},
institution = {World Wide Web Consortium (W3C)},
year = {2002},
month = apr,
type = {W3C Recommendation},
url = {http://www.w3.org/TR/2002/CR-SVG11-20020430},
author = {Dean Jackson and Jon Ferraiolo and Jun Fujisawa}}
@online{MO:on,
label = {MO},
title = {MathOverflow},
url = {https://mathoverflow.net/},
urldate = {2019-01-29}}
@TECHREPORT{w3c:WD-sparql11-query-20100601,
title = {{SPARQL} 1.1 Query Language},
institution = {World Wide Web Consortium ({W3C})},
type = {{W3C} {Working Draft}},
date = {2010-06-01},
author = {Steve Harris and Andy Seaborne},
url = {http://www.w3.org/TR/2010/WD-sparql11-query-20100601/}}
@misc{OpenMath:URL,
key = {OpenMath},
title = {OpenMath},
year = 2009,
note = {\webpageat{http://wiki.openmath.org}}}
@online{OpenMathWiki:webpage,lastchecked = feb,crossref = {OpenMathWiki:base}}
@Misc{OpenMathWiki,crossref = {OpenMathWiki:base},
howpublished = {\url{http://wiki.openmath.org}}}
@TECHREPORT{w3c:WD-rdfa-primer-20110419,
author = {Mark Birbeck and Ben Adida and Ivan Herman and Manu Sporny},
title = {{RDFa} 1.1 Primer},
subtitle = {Rich Structured Data Markup for Web Documents},
institution = {World Wide Web Consortium ({W3C})},
date = {2011-04-19},
type = {{W3C} {Working Draft}},
url = {http://www.w3.org/TR/2011/WD-rdfa-primer-20110419/}}
@inproceedings{CHKMR:hiding:10,crossref={CHKMR:hiding:10}}
@inproceedings{CHKMRS:lfhets:10,crossref={CHKMRS:lfhets:10}}
@proceedings{MathUI13,crossref = {CICM-WS-WiP2013}}
@proceedings{LanAspCar:CICMWiP13,crossref = {CICM-WS-WiP2013}}
@incollection{AueLeh:whialic07,crossref={AuLeh:whilic07}}
@unpublished{IanJucKoh:sps14,crossref={IanJucKoh:sps15}}
@BOOK{Bourbaki:a68,crossref={Bourbaki:tos68}}
@MISC{OMDocWeb,crossref = {OMDoc:URL}}
@InProceedings{KMR:NoLMD08-short,crossref={KMR:NoLMD08}}
@Online{oeis,crossref={OEIS:on},label={OEIS}}
@ARTICLE{sloane:oies,crossref={Sloane:OEIS}}
@MISC{plato:web,crossref={plato:base},
key = {plato},
howpublished = {system homepage at \url{http://www.ags.uni-sb.de/plato/bin/view.pl}},
note = {seen August 2007, no longer exists}}
title = {{PLATO: Interactive Mathematical Authoring}},
url = {http://www.ags.uni-sb.de/plato/bin/view.pl}}
@online{zblmath:online,crossref={zbMath:on}}
@Misc{URL:zblmath,crossref={URL:zblmath:base},
key = {ZBM},
howpublished = {\webpageat\url{http://www.zentralblatt-math.org/zbmath}},
note = {\seen{\November} 2012}}
@Misc{URL:zblmath:base,
title = {Zentralblatt {MATH}},
url = {http://www.zentralblatt-math.org/zbmath/}}
@TECHREPORT{PruSea06:sparql,
title = {{SPARQL} Query Language for {RDF}},
institution = {World Wide Web Consortium ({W3C})},
year = {2006},
type = {{W3C} {Candidate} {Recommendation}},
month = apr,
author = {Eric Prud'hommeaux and Andy Seaborne},
url = {http://www.w3.org/TR/2006/CR-rdf-sparql-query-20060406/}}
@unpublished{IanJucKoh:sps15,
title = {The {SMGLoM} Project and System},
author = {Deyan Ginev and Mihnea Iancu and Constantin Jucovschi and Andrea Kohlhase and
Michael Kohlhase and Heinz Kr{\"o}ger and J{\"u}rgen Schefter and
Wolfram Sperber},
year = {2015},
url = {http://kwarc.info/kohlhase/submit/cicm15-smglom.pdf}}
@unpublished{LK:OMDocOntologyLanguageESWC09,
author = {Christoph Lange and Michael Kohlhase},
title = {A Mathematical Approach to Ontology Authoring and Documentation},
Url = {https://github.com/OMDoc/OMDoc/blob/master/doc/blue/foaf/eswc2009.pdf},
year = 2009}
@ARTICLE{chur:form40,crossref={Church:afotst40}}
@online{sTeX-mode:on,
urldate = {2009-11-10},
crossref={sTeX-mode:base}}
@MISC{URL:sTeX-mode,
note = {\seen May 2008},
howpublished = {\svnrepoat\url{https://svn.kwarc.info/repos/stex/projects/emacs}},
crossref={sTeX-mode:base}}
@MISC{sTeX-mode:base,
key = {sTeX-Mode},
title = {{sTeX} {Emacs} Mode},
url = {https://svn.kwarc.info/repos/stex/projects/emacs}}
@MISC{URL:sTeX-slides:head,
key = {sTeX-slides},
url = {https://svn.kwarc.info/repos/stex-content/slides},
howpublished = {\svnrepoat\url{https://svn.kwarc.info/repos/stex-content/slides}}}
@Misc{OMDoc:svn,
key = {OMDoc SVN},
title = {The {OMDoc} Subversion Repository},
howpublished = {Repository at \url{https://svn.omdoc.org/repos/omdoc}},
url = {https://svn.omdoc.org/repos/omdoc}}
@Misc{CD:inference-rules,
author = {Michael Kohlhase},
title = {Inference Rules},
year = {\seen{Jan 2005}},
howpublished = {OMDoc Content Dictionary at
\url{https://svn.omdoc.org/repos/omdoc/trunk/examples/logics/inference-rules.omdoc}},
url = {https://svn.omdoc.org/repos/omdoc/trunk/examples/logics/inference-rules.omdoc}}
@online{latexml:branch:online,crossref={latexml:branch:base},urldate={2013-03-12}}
@Misc{latexml:branch,crossref={latexml:branch:base},
howpublished = {Web Manual at \url{http://dlmf.nist.gov/LaTeXML/}},
note = {\seen{\September} 2011}}
@Misc{latexml:branch:base,
author = {Deyan Ginev},
title = {{\texttt{LaTeXML}}: A {\LaTeX} to {XML} Converter, {arXMLiv} branch},
url = {https://svn.mathweb.org/repos/LaTeXML/branches/arXMLiv}}
@Misc{mathweb.org:svn,
key = {MathWeb SVN},
title = {Using the {\tt{mathweb.org}} Subversion Repository},
howpublished = {Web page at \url{http://www.mathweb.org/svn.html}},
url = {http://www.mathweb.org/svn.html}}
@Unpublished{Kohlhase:OMDoc1.6projects,
author = {Michael Kohlhase},
title = {{\omdoc} Projects and Applications [Version 1.6 (pre-2.0)]},
url = {https://svn.omdoc.org/repos/omdoc/trunk/doc/projects/main.pdf},
year = 2009,
pubs = {mkohlhase,projects/omdoc}}
@Unpublished{Kohlhase:OMDoc1.6processing,
author = {Michael Kohlhase},
title = {Processing {\omdoc} [Version 1.6 (pre-2.0)]},
url = {https://github.com/OMDoc/OMDoc/processing/main.pdf},
year = 2009,
pubs = {mkohlhase,projects/omdoc}}
@inproceedings{LK:MathOntoAuthDoc09:FGWM:plain,crossref={LK:MathOntoAuthDoc09:FGWM}}
@Online{EuDML,crossref={EuDML:on}}
@online{NTCIR-Math,crossref={NTCIR10-Math:on}
@PHDThesis{Kohlhase:SemanticInteractionDesignDiss,
crossref={Kohlhase:SemanticInteractionDesignDiss:biblatex}}
@MISC{URL:sTeX:head,
key = {sTeX},
howpublished = {\svnrepoat\url{https://svn.kwarc.info/repos/stex}},
url = {https://svn.kwarc.info/repos/stex}}
@MISC{sTeX:web,crossref={URL:sTeX:github}}
@online{sTeX:online,crossref={sTeX:github:on}}
@TECHREPORT{MilPin:edvddi,crossref={MilPin:edvddi92}}
@UNPUBLISHED{ags-2002-e-1,
author = {Erica Melis and Jochen B{\"u}denbender and George Goguadze and Paul
Libbrecht and C. Ullrich},
title = {Knowledge Representation and Management in ActiveMath},
note = {To appear in the Proceedings of MKM'01 in Annals of Mathematics and
Artificial Intelligence},
year = {2002},
institution = {DFKI GmbH Saarbr{\"u}cken}}
@ARTICLE{ags-2002-e-7,
author = {Erica Melis and Jochen B{\"u}denbender and Erik Andres and Adrian
Frischauf and George Goguadze and Paul Libbrecht and Martin Pollet
and Carsten Ullrich},
title = {Knowledge Representation and Management in ActiveMath},
journal = {International Journal on Artificial Intelligence and Mathematics,
Special Issue on Management of Mathematical Knowledge},
year = {2002}}
@INCOLLECTION{groe:dmg,crossref={GroSto:dmg90}}
@MISC{w3c:web:mathml3,
author = {{W3C}},
title = {{Mathematical Markup Language (MathML) Version 3.0 (Third Edition)}},
howpublished = {\url{http://www.w3.org/TR/MathML3/}},
year = {2007},
note = {Seen November 2007},
institution = {World Wide Web Consortium ({W3C})},
url = {http://www.w3.org/TR/MathML3/}}
@online{MathML3:webpage,
author = {{W3C}},
title = {{Mathematical Markup Language (MathML) Version 3.0 (Third Edition)}},
lastchecked = {December 2008},
institution = {World Wide Web Consortium ({W3C})},
type = {Working Draft},
url = {http://www.w3.org/TR/MathML3/}}
@TECHREPORT{CarlisleEd:MathML10,crossref={CarlisleEd:MathML3:base}}
@TECHREPORT{W3C:MathML3:biblatex,crossref={CarlisleEd:MathML3:base}}
@BOOK{kampreyle93,crossref={KamRey:fdtl93}}
% use CodHorKoh:palai11 instead
@inproceedings{CHKMR:latinabs:11,
author = {Mihai Codescu and Fulya Horozal and Michael Kohlhase and Till Mossakowski and Florian Rabe},
title = "{Project Abstract: Logic Atlas and Integrator ({LATIN})}",
pages = "287--289",
crossref = {CICM11},
keywords = {conference},
pubs={frabe}}
@Article{StaKoh:tlcspx09,crossref={StaKoh:tlcspx10}}%deprecated
@comment{deprecated: misleading ID. Fixed entry below}
@INCOLLECTION{KamLamMaaWel:swmkm07,
author = {Fairouz Kamareddine and Robert Lamar and Manuel Maarek and J. B. Wells},
title = {Restoring Natural Language as a Computerised Mathematics Input Method},
pages = {280--295},
keywords = {lamapunbibs},
crossref = {MKM07}}
@comment{deprecated: misleading ID. Fixed entry below}
@INCOLLECTION{KamLamMaaWel:nsmt07,
author = {Fairouz Kamareddine and Manuel Maarek and Krzysztof Retel and J. B. Wells},
title = {Narrative Structure of Mathematical Texts},
pages = {296--312},
crossref = {MKM07}}
@comment{deprecated, use SH02 Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{HS02,
author = {Axel Schairer and Dieter Hutter},
title = {Proof Transformations for Evolutionary Formal Software Development},
crossref={AMAST02}}
@comment{deprecated: use jena:web instead}
@misc{URL:jena:web,
key = {Jena},
note = {system homepage at \url{http://jena.sf.net}},
note = {seen June 2007},
crossref = {jena:base}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{lpar92:273,
author = {Leo Bachmair and Harald Ganzinger},
title = {Non-Clausal Resolution and Superposition with Selection and Redundancy
Criteria},
year = {1992},
pages = {273--284},
crossref = {LPAR92}}
@comment{deprecated,use BundyEtAl:tocs90, Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{BuHa90,
author = {A. Bundy and F. van Harmelen and C. Horn and A. Smaill},
title = {The Oyster-Clam System},
year = {1990},
pages = {647--648},
crossref = {CADE90}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{GoLe94,
author = {C. Goller and Reinhold Letz and Klaus Mayr and Johann Schumann},
title = {{SETHEO} V3.2: Recent Developments},
year = {1994},
pages = {778--782},
crossref = {CADE94}}
@comment{deprecated, use ManLib:apo05, Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{AuthPresent,
author = {Shahid Manzoor and Paul Libbrecht and Carsten Ullrich and Erica Melis},
title = {{Authoring Presentation for {\sc{OpenMath}}}},
pages = {33--48},
crossref = {MKM05}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{ActiveMath,
author = {E. Melis and E. Andres and A. Franke and G. Goguadze and P. Libbrecht
and M. Pollet and C. Ullrich},
title = {{\activemath} System Description},
pages = {580--582},
crossref = {AIED01}}
@comment{deprecated, use MosAutHut:edgwh01,. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{MAH-01-a,
author = {Till Mossakowski and Serge Autexier and Dieter Hutter},
pages = {269--284},
title = {Extending Development Graphs With Hiding},
crossref = {FASE01}}
@inproceedings{KohKoh:AssessmentInSACHS:plain,
author = {Andrea Kohlhase and Michael Kohlhase},
title = {What you get is what you understand: Assessment in {SACHS}},
crossref = {FGWM09},
pages = {22--29},
url = {http://www.kwarc.info/kohlhase/papers/lwa09-sachs.pdf},
Year = 2009,
keywords={workshop},
}
@comment{deprecated, use MosAutHut:edgwh01,. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{MossakowskiEtAl00,
author = {Till Mossakowski and Serge Autexier and Dieter Hutter},
pages = {269--284},
title = {Extending Development Graphs With Hiding},
crossref = {FASE01}}
@comment{deprecated, use PfenningSchuermann:sdtamf99,. Cross-refing the latter doesn't work as it would nest crossrefs.}
@inproceedings{pfenning99system,
author = {Frank Pfenning and Carsten Sch{\"u}rmann},
title = {System Description: Twelf --- A Meta-Logical Framework for Deductive
Systems},
booktitle = {Proceedings of the 16\textsuperscript{th} {Conference} on {Automated} {Deduction}},
pages = {202--206},
crossref = {CADE99}}
@comment{deprecated}
@MISC{w3C:rdfa,
key = {W3C RDFa Primer},
editor = {World Wide Web Consortium (W3C)},
title = {{RDFa Primer}},
howpublished = {\url{http://www.w3.org/TR/xhtml-rdfa-primer/}},
institution = {World Wide Web Consortium (W3C)},
year = 2008,
url = {http://www.w3.org/TR/xhtml-rdfa-primer/}}
@comment{deprecated}
@TECHREPORT{AdiBir:RDFa1.0,
author = {Ben Adida and Mark Birbeck},
title = {{RDFa Primer 1.0 -- Embedding RDF in XHTML}},
institution = {World Wide Web Consortium ({W3C})},
month = may,
year = {2006},
type = {{W3C Working Draft}},
url = {http://www.w3.org/TR/2006/WD-xhtml-rdfa-primer-20060516/}}
@comment{deprecated, use ah01:tefsd,. Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{HS01,
author = {Dieter Hutter and Axel Schairer},
title = {Towards an Evolutionary Formal Software Development},
crossref = {ASE01},
year = 2001}
@comment{deprecated: duplicate. Use entry below instead}
@MISC{lucene,
howpublished = {\url{http://lucene.apache.org/}},
year = {2000--2006},
crossref={Lucene:base}}
@comment{deprecated: duplicate. Use entry below instead}
@INPROCEEDINGS{mkm03:markup-examples,
author = {George Goguadze and Erica Melis and Carsten Ullrich and Paul Cairns},
title = {Problems and Solutions for Markup for Mathematical Examples and Exercises},
pages = {80--93},
crossref={MKM03}}
@comment{deprecated: duplicate. Use entry below instead}
@MISC{URL:creativecommons,crossref={creative-commons:base},
howpublished = {\url{http://www.creativecommons.org}},
note = {seen February 2008},
key = {Creative Commons}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{AutHut:dgmm02,
author = {Serge Autexier and Dieter Hutter and Till Mossakowski and Axel Schairer},
title = {The Development Graph Manager {MAYA} (system description)},
crossref = {AMAST02},
}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{AHMS-02-a,
author = {Serge Autexier and Dieter Hutter and Till Mossakowski and Axel Schairer},
title = {The Development Graph Manager {MAYA} (system description)},
crossref = {AMAST02},
}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{hut00:mcsv,
author = {Dieter Hutter},
title = {Management of Change in Verification Systems},
crossref = {ASE00},
pages = {23--34},
}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{Hutter-00-a,
author = {Dieter Hutter},
title = {Management of Change in Verification Systems},
crossref = {ASE00},
pages = {23--34},
}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{Hutter00,
author = {Dieter Hutter},
title = {Management of Change in Verification Systems},
crossref = {ASE00},
pages = {23--34},
}
@TECHREPORT{w3c:CR-html5,
title = {{HTML5}},
subtitle = {A vocabulary and associated {APIs} for {HTML} and {XHTML}},
institution = {World Wide Web Consortium ({W3C})},
date = {2012-03-29},
year = 2012,
type = {{W3C} {Candidate Recommentation}},
author = {Robin Berjon and Steve Faulkner and Travis Leithead and Erika Doyle Navara and Edward O'Connor and Silvia Pfeiffer and Ian Hickson},
url = {http://www.w3.org/TR/html5/}}
@TECHREPORT{w3c:html5,crossref={w3c:WD-html5-20120329}}
@TECHREPORT{w3c:WD-html5-20120329,
title = {{HTML5}},
subtitle = {A vocabulary and associated {APIs} for {HTML} and {XHTML}},
institution = {World Wide Web Consortium ({W3C})},
date = {2012-03-29},
year = 2012,
type = {{W3C} {Working Draft}},
author = {Ian Hickson},
url = {http://www.w3.org/TR/2011/WD-html5-20120329/}}
@TECHREPORT{w3c:WD-html5-20110525,
title = {{HTML5}},
subtitle = {A vocabulary and associated {APIs} for {HTML} and {XHTML}},
institution = {World Wide Web Consortium ({W3C})},
date = {2011-05-25},
type = {{W3C} {Working Draft}},
author = {Ian Hickson},
url = {http://www.w3.org/TR/2011/WD-html5-20110525/}}
@techreport{Hickson:HTML510,
title = {{HTML5} (including next generation additions still in development)},
author = {Ian Hickson},
institution = {Web Hypertext Application Technology Working Group (WHATWG)},
year = 2010,
type = {Draft Standard},
url = {http://whatwg.org/html5},
urldate = {2010-02-02}}
@inproceedings{IR:moc:12,crossref={IanRab:mocdl12}}
@inproceedings{rabe:querying:12,crossref={Rabe:qlfml12}}
@article{KR:omsemantics-long:10,crossref={KohRab:som12}}
@ONLINE{MSC-SKOS:on,crossref={MSCLinkedWiki:on}}
@article{KohDavGin:pswads11,crossref={KohDavGin:psewads11}}
@article{IanKohRabUrb:tmmliotaa11:biblatex,crossref={IanKohRabUrb:tmmliotaa13}}
@article{IKRU:mizar:11,crossref={IanKohRabUrb:tmmliotaa13}}
@comment{deprecated, use Kohlhase:tffm13 instead}
@Unpublished{Kohlhase:tffm12,
author = {Michael Kohlhase},
title = {The Flexiformalist Manifesto},
note = {KWARC Blue Note},
url = {https://svn.kwarc.info/repos/oaf-dev/doc/blue/manifest/note.pdf},
year = 2012}
@inProceedings{KohKoh:pcmpm11,crossref={KohJuc:pcmpm11}}
@inproceedings{HIJKR:dimensions:11,crossref={HorIacJuc:cscpnrr11}}
@comment{deprecated, use KohRabSac:fvip11. crossref doesn't work because this entry cross-refs CICM11 itself}
@inproceedings{KohRabSac:fvip10,
author = {Michael Kohlhase and Florian Rabe and Sacerdoti Coen, Claudio},
title = {A Foundational View on Integration Problems},
howpublished = {\url{http://kwarc.info/kohlhase/papers/cicm11-integration.pdf}},
url = {http://kwarc.info/kohlhase/papers/cicm11-integration.pdf},
pages = {107--122},
crossref = {CICM11},
keywords = {conference},
}
@comment{deprecated, use KohRabSac:fvip11. crossref doesn't work because this entry cross-refs CICM11 itself}
@inproceedings{RKS:integration:11,
author = "F. Rabe and M. Kohlhase and C. {Sacerdoti Coen}",
title = "{A Foundational View on Integration Problems}",
year = "2011",
pages = "106--121",
booktitle = "Intelligent Computer Mathematics",
editor = "J. Davenport and W. Farmer and F. Rabe and J. Urban",
series = "LNCS",
publisher = "Springer",
volume = "6824",
keywords = {conference},
pubs={frabe}
}
@comment{deprecated, use KohRabZho:tmlmrsca10:biblatex, crossref doesn't work because this entry cross-refs CICM10 itself}
@inProceedings{KohRabZho:tmlmrsca10,
author = {Michael Kohlhase and Florian Rabe and Vyacheslav Zholudev},
title = {Towards {MKM} in the Large: Modular Representation and Scalable Software Architecture},
crossref = {CICM10},
howpublished = {\url{http://kwarc.info/kohlhase/papers/mkm10-scalable.pdf}},
url = {http://kwarc.info/kohlhase/papers/mkm10-scalable.pdf}}
@comment{deprecated, use KohRabZho:tmlmrsca10:biblatex, crossref doesn't work because this entry cross-refs CICM itself}
@inproceedings{KRZ:mmttnt:10,
author = "M. Kohlhase and F. Rabe and V. Zholudev",
title = "{Towards {MKM} in the Large: Modular Representation and Scalable Software Architecture}",
year = "2010",
pages = "370--384",
booktitle = "Intelligent Computer Mathematics",
editor = "S. Autexier and J. Calmet and D. Delahaye and P. Ion and L. Rideau and R. Rioboo and A. Sexton",
series = "LNCS",
publisher = "Springer",
volume = "6167",
keywords = {conference},
pubs={frabe}
}
@comment{deprecated: for non-BibLaTeX compatibility}
@InProceedings{KohKohLan:ssffld10,
author = {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},
title = {{sTeX} -- A System for Flexible Formalization of Linked Data},
crossref = {ISEMANTICS2010},
url = {http://kwarc.info/kohlhase/papers/isem10.pdf}}
@inproceedings{ZKR:tntbase:10,crossref={ZhoKohRab:tntbasef10}}
% deprecated, use next entry
@inproceedings{KR:omsemantics:09,
author = "M. Kohlhase and F. Rabe",
title = "Semantics of {OpenMath} and {MathML 3}",
year = "2009",
booktitle = "Proceedings of the OpenMath workshop"}
% deprecated, use next entry
@inproceedings{RK:roles:09,
author = "F. Rabe and M. Kohlhase",
title = "{A Better Role System for OpenMath}",
year = "2009",
booktitle = "Proceedings of the OpenMath workshop"}
@comment{deprecated, use GLR:WebSvcActMathDoc09. crossref doesn't work because this entry cross-refs MKM09 itself}
@inproceedings{GLR:jobad:09,
author = {Jana Giceva and Christoph Lange and Florian Rabe},
title = {Integrating Web Services into Active Mathematical Documents},
url = {https://svn.omdoc.org/repos/jomdoc/doc/pubs/mkm09/jobad/jobad-server.pdf},
crossref = {MKM09},
pages = {279--293},
keywords = {conference,clange-phd},
}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@inproceedings{CM:FPRCAU,
author = {Cristian Calude and Christine M{\"u}ller},
title = {{Formal Proofs: Reconciling Correctness and Understanding}},
crossref = {MKM09},
year = {2009},
}
@incollection{SieKohMel:oamas99,crossref={KohMelSie:oma99}}
@inproceedings{CM:TtAoSCMpbCoP,crossref={MueKoh:cpme08}}
@inproceedings{MK:CTACOPTBOSMUA,crossref={MueKoh:cptsma08}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@inProceedings{KohKoh:SemanticTransparency,
author = {Andrea Kohlhase and Michael Kohlhase},
title = {Semantic Transparency in User Assistance Systems},
url = {http://kwarc.info/kohlhase/papers/sigdoc09-semtrans.pdf},
crossref = {SIGDOC09},
pages = {89--96},
keywords = {conference},
}
@TECHREPORT{CarlisleEd:MathML08,crossref={CarlisleEd:MathML3:base}}
@TECHREPORT{CarlisleEd:MathML09,crossref={CarlisleEd:MathML3:base}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@MISC{swim,
crossref={SWiM:base},
key = {SWiM},
howpublished = {\webpageat\url{http://kwarc.info/projects/swim/}},
note = {seen October 2008}}
@INPROCEEDINGS{Mueller06:locutor-lwa,crossref = {NRM:lwa06}}
@comment{deprecated, use DKLRZ:PubMathLectNotLinkedData10}
@inproceedings{DKLRZ:jobaddemo:10,
author = "C. David and M. Kohlhase and C. Lange and F. Rabe and V. Zholudev",
title = "{Publishing Math Lecture Notes as Linked Data}",
year = "2010",
pages = "370--375",
booktitle = "The Semantic Web: Research and Applications",
editor = "L. Aroyo and G. Antoniou and E. Hyv{\"o}nen and A. {ten Teije} and H. Stuckenschmidt and L. Cabral and T. Tudorache",
series = "LNCS",
publisher = "Springer",
volume = "6089",
pubs={frabe},
keywords = {conference}
}
@article{BenBroKoh:lmcs08,crossref={BenBroKoh:lmcs09}}
@ARTICLE{KohFra:rkcimss00,crossref={KohFra:rkcimss01}}
@article{KohlhaseFranke00,crossref={KohFra:rkcimss01}}
@online{sTex:webpage,crossref={sTeX:base},urldate = {2011-02-22}}
@online{JOMDoc:webpage,lastchecked = {March 2009},crossref={JOMDoc:base}}
@Article{KohKoh:skmfe07,crossref={KohKoh:skmfe08}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{BeKo1-CADE98,
author = {Christoph Benzm{\"u}ller and Michael Kohlhase},
title = {Extensional Higher Order Resolution},
year = {1998},
pages = {56--72},
crossref = {CADE98},
url = {http://kwarc.info/kohlhase/papers/BeKo2-CADE98.pdf},
keywords = {conference},
}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@online{OAF:online,crossref={OAFF:base},
urldate = {2011-01-17}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{JoKo94,
author = {Patricia Johann and Michael Kohlhase},
title = {Unification in an Extensional Lambda Calculus with Ordered Function
Sorts and Constant Overloading},
year = {1994},
pages = {620--634},
crossref = {CADE94},
url = {http://kwarc.info/kohlhase/papers/JoKo94-CADE.pdf},
keywords = {conference},
}
@InProceedings{OMEGA02,crossref={SiekmannEtAl:pdwo02}}
@online{MWSDemo:webpage,crossref={MWSProj:base}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{BeKo2-CADE98,
author = {Christoph Benzm{\"u}ller and Michael Kohlhase},
title = {{LEO} -- a Higher Order Theorem Prover},
crossref = {CADE98},
url = {http://kwarc.info/kohlhase/papers/BeKo1-CADE98.pdf},
pages = {139--144},
keywords = {conference},
}
@Article{MathWeb99,crossref={FraHes:aoidms99}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{Omega94,
author = {Xiaorong Huang and Manfred Kerber and Michael Kohlhase and Erica
Melis and Daniel Nesmith and J{\"o}rn Richts and J{\"o}rg Siekmann},
title = {{$\Omega$-MKRP} A Proof Development Environment},
year = {1994},
pages = {788--792},
crossref = {CADE94},
url = {http://kwarc.info/kohlhase/papers/Omega94-CADE.pdf},
keywords = {conference},
}
@ARTICLE{HutKoh:msihocu99,crossref={HutKoh:msihocu00}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{HuKo:acvotlc97,
author = {Dieter Hutter and Michael Kohlhase},
title = {A Coloured Version of the $\lambda$-Calculus},
crossref = {CADE97},
pages = {291--305},
keywords = {conference},
}
@ARTICLE{KeKoSo98,crossref={KeKoSo:icaipp98}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase:OvercomingProprietaryHurdles,
author = {Andrea Kohlhase},
title = {{Overcoming Proprietary Hurdles: CPoint as Invasive Editor}},
pages = {51--56},
crossref = {OSEE2005},
keywords={conference},
}
@article{RK:mmt:10,crossref={RabKoh:WSMSML13}}
@Article{RabKoh:WSMSML08,crossref={RabKoh:WSMSML13}}% we have been working on this for a while
@Article{RabKoh:WSMSML09,crossref={RabKoh:WSMSML13}}
@Article{RabKoh:WSMSML10,crossref={RabKoh:WSMSML13}}
@Article{RabKoh:WSMSML11,crossref={RabKoh:WSMSML13}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase:smtl05,
author = {Michael Kohlhase},
title = {Semantic Markup for {\TeX/\LaTeX}},
crossref = {MathUI04},
}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase05:stex,
author = {Michael Kohlhase},
title = {Semantic Markup for {\TeX/\LaTeX}},
crossref = {MathUI04},
}
@article{Kohlhase:sabhs96,crossref={Kohlhase:sat96}}
@ARTICLE{Kohlhase96,crossref={Kohlhase:sat96}}
@PHDTHESIS{Kohlhase94,crossref={Kohlhase:amosho94}}
@article{Kohlhase:sutsmf08,crossref={Kohlhase:ulsmf08}}
@ARTICLE{KohKol:ramgpm01,crossref={KohKol:ramgpm03}}
@ARTICLE{louiJournal99,crossref={SieHes:loui99}}
@INPROCEEDINGS{SiekmannEtAl:acgap00,crossref={SieBen:acgap00}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{ZimmerKohlhase02,
author = {J{\"u}rgen Zimmer and Michael Kohlhase},
title = {System {Description}: {The} {MathWeb} Software Bus for Distributed Mathematical Reasoning},
pages = {247--252},
year = 2002,
url = {http://kwarc.info/kohlhase/papers/cade02.pdf},
crossref = {CADE02},
}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@InBook{AKoMue:AddedValue,
author = {Andrea Kohlhase and Normen M{\"u}ller},
title = {{Added-Value: Getting People into Semantic Work Environments}},
crossref = {ReDeRa:SWE07},
pages = {185--205},
}
@comment{deprecated: for non-BibLaTeX compatibility}
@InProceedings{KohKohLan:difcsmse10,
author = {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},
title = {Dimensions of Formality: A Case Study for {MKM} in Software Engineering},
pages = {355--369},
crossref = {CICM10},
note = {\url{http://arxiv.org/abs/1004.5071}}}
@comment{deprecated, use next entry. Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase:AVAofPPT,
author = {Andrea Kohlhase},
title = {{{MS PowerPoint}} Use from a Micro-Perspective},
crossref = {EdMedia2008},
pages = {1279--1286},
keywords={conference},
url = {http://go.editlib.org/p/28550}}
@inproceedings{Kohlhase:MathGenerationGap:2014,crossref={Kohlhase:mwsiggm14}}
@ARTICLE{KohKoh:SemTransformationOfSpshts,crossref={KohKoh:ssl11}}
@ARTICLE{KohKoh:ssl11,crossref={KohKoh:ssl13}}
@MISC{Kohlhase:omfmd05,crossref = {Kohlhase:OMDoc1.2}}
@UNPUBLISHED{mk06:omdocspec,crossref = {Kohlhase:OMDoc1.2}}
@MISC{CNX:web,crossref = {CNX:base},howpublished = {\webpageat\url{http://cnx.org}}, note = {\seen September 2009}}
@online{CNX:webpage,crossref = {CNX:base},month = jun,year = 2008}
@ARTICLE{BenBroKoh:hose05,crossref={BenBroKoh:hose04}}
@TECHREPORT{ags-2003-d-10,crossref={BenKohBro:hose03}}
@book{blabos:rainl98,crossref={BlaBos:rainl05}}