{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:30:53Z","timestamp":1725831053950},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319247038"},{"type":"electronic","value":"9783319247045"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24704-5_10","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:31:29Z","timestamp":1443072689000},"page":"151-168","source":"Crossref","is-referenced-by-count":0,"title":["Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets"],"prefix":"10.1007","author":[{"given":"Musa","family":"Al-hassy","sequence":"first","affiliation":[]},{"given":"Wolfram","family":"Kahl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"10_CR1","unstructured":"Berghammer, R., Schmidt, G., Zierer, H.: Symmetric Quotients. Technical Report TUM-INFO 8620, TU M\u00fcnchen, Fak. Informatik, 18 p. (1986)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0020-0190(89)90197-X","volume":"33","author":"R. Berghammer","year":"1989","unstructured":"Berghammer, R., Schmidt, G., Zierer, H.: Symmetric Quotients and Domain Constructions. Inform. Process. Lett.\u00a033, 163\u2013168 (1989)","journal-title":"Inform. Process. Lett."},{"key":"10_CR3","unstructured":"Bird, R.S., de Moor, O.: Algebra of Programming, International Series in Computer Science, vol. 100. Prentice Hall (1997)"},{"key":"10_CR4","volume-title":"Categories, Allegories, North-Holland Mathematical Library","author":"P.J. Freyd","year":"1990","unstructured":"Freyd, P.J., Scedrov, A.: Categories, Allegories, North-Holland Mathematical Library, vol.\u00a039. North-Holland, Amsterdam (1990)"},{"key":"10_CR5","unstructured":"Furusawa, H., Kahl, W.: A Study on Symmetric Quotients. Technical Report 1998-06, Fakult\u00e4t f\u00fcr Informatik, Univ. der Bundeswehr M\u00fcnchen (1998)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-33314-9_13","volume-title":"Relational and Algebraic Methods in Computer Science","author":"P. Jipsen","year":"2012","unstructured":"Jipsen, P.: Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings. In: Kahl, W., Griffin, T.G. (eds.) RAMICS 2012. LNCS, vol.\u00a07560, pp. 195\u2013206. Springer, Heidelberg (2012)"},{"key":"10_CR7","first-page":"277","volume":"1","author":"W. Kahl","year":"2004","unstructured":"Kahl, W.: Refactoring Heterogeneous Relation Algebras around Ordered Categories and Converse. J. Rel. Methods in Comp. Sci.\u00a01, 277\u2013313 (2004)","journal-title":"J. Rel. Methods in Comp. Sci."},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-21070-9_18","volume-title":"Relational and Algebraic Methods in Computer Science","author":"W. Kahl","year":"2011","unstructured":"Kahl, W.: Dependently-Typed Formalisation of Relation-Algebraic Abstractions. In: de Swart, H. (ed.) RAMICS 2011. LNCS, vol.\u00a06663, pp. 230\u2013247. Springer, Heidelberg (2011)"},{"key":"10_CR9","unstructured":"Kahl, W.: Abstract Context Lattices Formalised for Concrete Applications \u2014 AContext-1.0. Mechanically checked Agda theories, 25 pp. literate document output (2014). http:\/\/relmics.mcmaster.ca\/RATH-Agda\/#AContext"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-319-06251-8_15","volume-title":"Relational and Algebraic Methods in Computer Science","author":"W. Kahl","year":"2014","unstructured":"Kahl, W.: A Mechanised Abstract Formalisation of Concept Lattices. In: H\u00f6fner, P., Jipsen, P., Kahl, W., M\u00fcller, M.E. (eds.) RAMiCS 2014. LNCS, vol.\u00a08428, pp. 242\u2013260. Springer, Heidelberg (2014)"},{"key":"10_CR11","unstructured":"Kahl, W.: Relation-Algebraic Theories in Agda \u2014 RATH-Agda-2.0.1. Mechanically checked Agda theories, with 456 pages literate document output (2014). http:\/\/relmics.mcmaster.ca\/RATH-Agda\/"},{"key":"10_CR12","unstructured":"Kahl, W., Al-hassy, M.: Order Theory and Concept Lattices in Ordered Categories Without Meets, Formalised in Agda \u2014 AContext-2.1. Mechanically checked Agda theories, 181 pages literate document output (2015). http:\/\/relmics.mcmaster.ca\/RATH-Agda\/#AContext"},{"key":"10_CR13","unstructured":"Kozen, D.: Typed Kleene Algebra. Technical Report 98-1669, Computer Science Department, Cornell University (1998)"},{"key":"10_CR14","unstructured":"L\u00f6h, A.: lhs2TeX (2012). http:\/\/www.andres-loeh.de\/lhs2tex\/"},{"key":"10_CR15","unstructured":"Moshier, M.A.: A Relational Category of Polarities (unpublished draft) (2013)"},{"key":"10_CR16","unstructured":"Norell, U.: Towards a Practical Programming Language Based on Dependent Type Theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology (2007). http:\/\/wiki.portal.chalmers.se\/agda\/pmwiki.php"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs, Discrete Mathematics for Computer Scientists. EATCS-Monographs on Theoret. Comput. Sci. Springer (1993)","DOI":"10.1007\/978-3-642-77968-8"},{"key":"10_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11528784_1","volume-title":"Formal Concept Analysis","author":"R. Wille","year":"2005","unstructured":"Wille, R.: Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol.\u00a03626, pp. 1\u201333. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24704-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T05:38:31Z","timestamp":1653197911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24704-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319247038","9783319247045"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24704-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}