kl.bib revision a22936ffa58b0b92b957098a1ebc75a22cc48f85
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@unpublished{url:Emacs,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Author = {{F}ree {S}oftware {F}oundation},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Title = {Emacs},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Note = {Available at \url{http://www.gnu.org/software/emacs/emacs.html}, },
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@Unpublished{url:XEmacs,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {\texttt{http://www.xemacs.org/People/index.html}},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {{XE}macs},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder note = {Available at \url{http://www.xemacs.org/}}
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder@Unpublished{url:ProofGeneral,
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder author = {D. Aspinal and S. Berghofer and P. Callaghan and
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder P. Courtieu and C. Rafalli and M. Wenzel},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {{E}macs {P}roof {G}eneral},
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder note = {Available at \url{http://proofgeneral.inf.ed.ac.uk/}}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@InProceedings{WeidenbachEtAl02,
dc89cfbc150be3b6792f559f57b6e91cd7affacbJonathan von Schroeder author = "C. Weidenbach and U. Brahm and T.
dc89cfbc150be3b6792f559f57b6e91cd7affacbJonathan von Schroeder Hillenbrand and E. Keen and C. Theobalt and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = "{SPASS} Version 2.0",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder type = "system description",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder editor = "Andrei Voronkov",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = "Automated Deduction -- {CADE-18}",
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder month = jul # " 27-30",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder series = "Lecture Notes in Computer Science",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder volume = "2392",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = "Springer-Verlag",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder ISBN = "3-540-43931-5",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder ISSN = "0302-9743",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder pages = "275--279",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder abstract = "SPASS is an automated theorem prover for full
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder first-order logic with equality. This system
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder description provides an overview of recent developments
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder in SPASS~2.0, including among others an implementation
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder of contextual rewriting, refinements of the clause
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder normal form transformation, and enhancements of the
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder inference engine.",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@Book{NipPauWen02,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = "T. Nipkow and L. C. Paulson and M.
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = "Springer Verlag",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = "Isabelle/{HOL} --- {A} Proof Assistant for
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Higher-Order Logic",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder URL = "http://www.link.springer.de/link/service/series/0558/tocs/t2283.htm",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder crindex = "Fichier",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@inproceedings{DBLP:conf/tacas/Aspinall00,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {David Aspinall},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {Proof General: A Generic Tool for Proof Development.},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {TACAS},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder pages = {38-42},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder ee = {http://link.springer.de/link/service/series/0558/bibs/1785/17850038.htm},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder crossref = {DBLP:conf/tacas/2000},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@proceedings{DBLP:conf/tacas/2000,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder editor = {Susanne Graf and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Michael I. Schwartzbach},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {Tools and Algorithms for Construction and Analysis of Systems,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder 6th International Conference, TACAS 2000, Held as Part of
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder the European Joint Conferences on the Theory and Practice
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder of Software, ETAPS 2000, Berlin, Germany, March 25 - April
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder 2, 2000, Proceedings},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {TACAS},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = {Springer},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder series = {Lecture Notes in Computer Science},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder volume = {1785},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder isbn = {3-540-67282-6},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder@InProceedings{Gangemi:2002:SOD,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {A. Gangemi and N. Guarino and C. Masolo and A. Oltramari and L. Schneider},
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder title = {Sweetening {O}ntologies with {\Dolce}},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder pages = {166-181},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder crossref = {DBLP:conf/ekaw/2002}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@proceedings{DBLP:conf/ekaw/2002,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder editor = {A. G{\'o}mez-P{\'e}rez and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder V. R. Benjamins},
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder title = {Knowledge Engineering and Knowledge Management. Ontologies and
93cd42c036c9ef3fed58d4872bab5d72371d80d1Jonathan von Schroeder the Semantic Web, 13th International Conference, EKAW 2002, Siguenza,
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder Spain, October 1-4, 2002, Proceedings},
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder booktitle = {EKAW},
85b227b458a885d075f3934c210c7de0cc89ccffJonathan von Schroeder publisher = {Springer},
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder series = {LNCS},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder volume = {2473},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder isbn = {3-540-44268-5},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder@InProceedings{OWL-CASL-WADT2004,
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder author = {K. L{\"u}ttich and T. Mossakowski and B. Krieg-Br{\"u}ckner},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder title = {Ontologies for the {S}emantic {W}eb in {CASL}},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder editor = {Jos{\'e} Fiadeiro},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder booktitle = {Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004)},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder publisher = {Springer; Berlin; \url{http://www.springer.de}},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder series = {Lecture Notes in Computer Science},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder volume = {3423},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder pages = {106-125},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder keywords = {CASL OWL Semantic Web SHOIN(D)},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder pdfurl = {http://www.tzi.de/~luettich/papers/owl-casl-dl.pdf},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder abstract = {This paper describes a sublanguage of CASL, called CASL-DL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from CASL's strong typing discipline and powerful structuring concepts. Vice versa, the automatic decision procedures available for OWL DL (or more precisely, the underlying description logic SHOIN(D)) become available for a sublanguage of CASL. This is achieved via translations between CASL-DL and SHOIN(D), formalized as so-called institution comorphisms.
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder status = {Reviewed}
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder@Article{berners:2001:SWeb,
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder author = {T. Berners-Lee and J. Hendler and O. Lassila},
dfe355b50888d0dea1c12713288b652741844080Jonathan von Schroeder title = {The {S}emantic {W}eb},
dfe355b50888d0dea1c12713288b652741844080Jonathan von Schroeder journal = {Scientific American},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder@proceedings{DBLP:conf/dfg/2004,
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder editor = {Hartmut Ehrig and
fce31f9f7a2e653c2cc7e55efafe3a7cee585bffJonathan von Schroeder Werner Damm and
fce31f9f7a2e653c2cc7e55efafe3a7cee585bffJonathan von Schroeder J{\"o}rg Desel and
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder Martin Gro{\ss}e-Rhode and
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder Wolfgang Reif and
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder Eckehard Schnieder and
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder Engelbert Westk{\"a}mper},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder title = {Integration of Software Specification Techniques for Applications
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder in Engineering, Priority Program SoftSpez of the German Research
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder Foundation (DFG), Final Report},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder booktitle = {SoftSpez Final Report},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder publisher = {Springer},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder series = {Lecture Notes in Computer Science},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder volume = {3147},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder isbn = {3-540-23135-8},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@proceedings{DBLP:conf/ifm/1999,
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder editor = {Keijiro Araki and
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder Andy Galloway and
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder Kenji Taguchi},
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder title = {Integrated Formal Methods, Proceedings of the 1st International
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder Conference on Integrated Formal Methods, IFM 99, York, UK,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder 28-29 June 1999},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {IFM},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = {Springer},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder isbn = {1-85233-107-0},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@proceedings{DBLP:conf/ifm/2000,
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder editor = {Wolfgang Grieskamp and
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder Thomas Santen and
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder Bill Stoddart},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder title = {Integrated Formal Methods, Second International Conference,
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {IFM},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = {Springer},
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder series = {Lecture Notes in Computer Science},
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder volume = {1945},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder isbn = {3-540-41196-8},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@proceedings{DBLP:conf/ifm/2002,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder editor = {Michael J. Butler and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Luigia Petre and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {Integrated Formal Methods, Third International Conference,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {IFM},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = {Springer},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder series = {Lecture Notes in Computer Science},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder volume = {2335},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder isbn = {3-540-43703-7},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@proceedings{DBLP:conf/ifm/2004,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder editor = {Eerke A. Boiten and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder John Derrick and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {Integrated Formal Methods, 4th International Conference,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {IFM},
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder publisher = {Springer},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder series = {Lecture Notes in Computer Science},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder volume = {2999},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder isbn = {3-540-21377-5},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder@article{DBLP:journals/sttt/DennisCNBSM03,
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder author = {Louise A. Dennis and
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder Graham Collins and
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder Michael Norrish and
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder Richard J. Boulton and
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder Konrad Slind and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Thomas F. Melham},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder title = {The PROSPER toolkit.},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder journal = {STTT},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder pages = {189-210},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder ee = {http://dx.doi.org/10.1007/s100090200076},
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroeder@proceedings{DBLP:conf/uml/2004,
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder editor = {Thomas Baar and
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder Alfred Strohmeier and
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder Ana M. D. Moreira and
a845310274d5bcd9da2df61599fd58eaf96ded13Jonathan von Schroeder Stephen J. Mellor},
a845310274d5bcd9da2df61599fd58eaf96ded13Jonathan von Schroeder title = {UML 2004 - The Unified Modelling Language: Modelling
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder Languages and Applications. 7th International Conference,
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder Lisbon, Portugal, October 11-15, 2004. Proceedings},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder booktitle = {UML},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder publisher = {Springer},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder series = {Lecture Notes in Computer Science},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder volume = {3273},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder isbn = {3-540-23307-5},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder@article{Kohlhase:oaifocdi00,
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder author = {Michael Kohlhase},
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von Schroeder title = {{\sc OMDoc}: An Infrastructure for {\sc OpenMath} Content Dictionary
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder journal = {Bulletin of the ACM Special Interest Group on Symbolic and Automated Mathematics (SIGSAM)},
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von Schroeder pages = {43--48},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@InProceedings{AllenH-a:85-commonsense,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {Allen, J. and Hayes, P.},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {A Common-Sense Theory of Time},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {Proceedings of the 9th International Joint
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Conference on Artificial Intelligence (IJCAI-85)},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder pages = {528--531},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder address = {Los Angeles, CA, USA}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@InProceedings{HayesA-a:87-short,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {Patrick J. Hayes and James F. Allen},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {Short time periods},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {Proceedings of the 10th International Joint
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Conference on Artificial Intelligence (IJCAI-87)},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@InProceedings{Ladkin-a:87-models,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {Ladkin, P.},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {Models of axioms for time intervals},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {Proceedings of AAAI-87},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder pages = {234--239},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@InProceedings{Ladkin-a:87-completeness,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {Ladkin, Peter B.},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {The completeness of a natural system for reasoning
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder with time intervals},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {Proceedings of IJCAI-87},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder pages = {462--467},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@BOOK{Whitehead-b:29-process,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {Process and Reality. An Essay in Cosmology},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = {Macmillan},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {Whitehead, A.~N.},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder address = {New York},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@inproceedings{DBLP:conf/cade/ZimmerK02,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {J{\"u}rgen Zimmer and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Michael Kohlhase},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder editor = {Andrei Voronkov},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {System Description: The MathWeb Software Bus for Distributed
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Mathematical Reasoning},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {18th International Conference on Automated Deduction},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = {Springer},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder series = {Lecture Notes in Computer Science},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder volume = {2392},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder pages = {139-143},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder ee = {http://link.springer.de/link/service/series/0558/bibs/2392/23920139.htm},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@Misc{Modelware,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {Modelware},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder note = {\url{http://www.modelware-ist.org/}},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@inproceedings{DBLP:conf/tacas/MargariaNS05,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {Tiziana Margaria and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Bernhard Steffen},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder editor = {Nicolas Halbwachs and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Lenore D. Zuck},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {jETI: A Tool for Remote Tool Integration.},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = {Tools and Algorithms for the Construction and Analysis of
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Systems, 11th International Conference, TACAS 2005, Held
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder as Part of the Joint European Conferences on Theory and
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder 2005, Proceedings},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = {Springer},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder series = {Lecture Notes in Computer Science},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder volume = {3440},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder pages = {557-562},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3440{\&}spage=557},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder bibsource = {DBLP, http://dblp.uni-trier.de}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@Book{PeytonJones03,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder editor = {S. Peyton-Jones},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {{Haskell} 98 Language and Libraries ---
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederThe Revised Report},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = {Cambridge},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder note = {also: J.\ Funct.\ Programming {{\bf 13}} (2003)}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@Article{MossakowskiEA04,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {Till Mossakowski and Lutz Schr{\"o}der and Markus Roggenbach and Horst Reichel},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {Algebraic-co-algebraic specification in {CoCASL}},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder journal = {Journal of Logic and Algebraic Programming},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder keywords = {Algebraic specification coalgebra process algebra CASL CCS CSP.},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder pdfurl = {http://www.tzi.de/~lschrode/papers/cocasl.pdf},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder psurl = {http://www.tzi.de/~lschrode/papers/cocasl.ps},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder abstract = {We introduce CoCASL as a light-weight but expressive coalgebraic extension of the algebraic specification language CASL. CoCASL allows the nested combination of algebraic datatypes and coalgebraic process types. Moreover, it provides syntactic sugar for an observer-indexed modal logic that allows e.g. expressing fairness properties. This logic includes a generic definition of modal operators for observers with structured equational result types. We prove existence of final models for specifications in a format that allows the use of certain initial datatypes, as well as modal axioms. The use of CoCASL is illustrated by specifications of the process algebras CSP and CCS.},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder note = {To appear},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder status = {Reviewed}
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = "M. Bidoit and P. D. Mosses",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = "\textsc{Casl} User Manual",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = "Springer",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder series = "LNCS",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder volume = "2900",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder note = {Free online version available at \url{http://www.cofi.info}},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@InProceedings{Roggenbach:2003:C-CN,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = "Markus Roggenbach",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = "{CSP}-\textsc{Casl} -- {A} New Integration of Process
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Algebra and Algebraic Specification",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder editor = "A. Nijholt and G. Scollo",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder booktitle = "AMiLP-3 -- Third AMAST Workshop on Algebraic Methods
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder in Language Processing",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder publisher = "TWLT series, University of Twente",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder note = "Long version to appear in Theoretical Computer Science",
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@article{Sutcliffe:2006:CASC,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Author = {Geoff Sutcliffe and Christian B. Suttner},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Date-Added = {2007-03-29 17:19:45 +0200},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Date-Modified = {2007-03-29 17:21:18 +0200},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Journal = {AI Communications},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Pages = {35--48},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Title = {The State of {CASC}},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@article{SutcliffeEA:2001:EvalATP,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Author = {Geoff Sutcliffe and Christian B. Suttner},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Bibsource = {DBLP, http://dblp.uni-trier.de},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Date-Added = {2007-03-29 12:00:20 +0200},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Date-Modified = {2007-03-29 17:21:06 +0200},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Ee = {http://dx.doi.org/10.1016/S0004-3702(01)00113-8},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Journal = {Artificial Intelligence},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Number = {1-2},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Pages = {39--54},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Title = {Evaluating general purpose automated theorem proving systems},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder Volume = {131},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder@TECHREPORT{McGvHa:owl04,
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder title = {{OWL} Web Ontology Language Overview},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder institution = {World Wide Web Consortium ({W3C})},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder type = {{W3C} Recommendation},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder date = {2004-02-10},
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder author = {Deborah L. McGuinness and van Harmelen, Frank},