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