{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:56:57Z","timestamp":1725544617831},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540333395"},{"type":"electronic","value":"9783540333401"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11734673_20","type":"book-chapter","created":{"date-parts":[[2006,7,3]],"date-time":"2006-07-03T21:59:04Z","timestamp":1151963944000},"page":"249-262","source":"Crossref","is-referenced-by-count":1,"title":["Time-Dependent Contact Structures in Goguen Categories"],"prefix":"10.1007","author":[{"given":"Michael","family":"Winter","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1305\/ndjfl\/1093635748","volume":"32","author":"L. Biacino","year":"1991","unstructured":"Biacino, L., Gerla, G.: Connection Structures. Notre Dame Journal of Formal Logic\u00a032, 242\u2013247 (1991)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B.L. Clarke","year":"1981","unstructured":"Clarke, B.L.: A calculus of individuals based on \u2018connenction\u2019. Notre Dame Journal of Formal Logic\u00a022, 204\u2013218 (1981)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11734673_6","volume-title":"Relational Methods in Computer Science","author":"I. D\u00fcntsch","year":"2006","unstructured":"D\u00fcntsch, I., Winter, M.: Finite Contact Structure. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol.\u00a03929. Springer, Heidelberg (2006)"},{"key":"20_CR4","volume-title":"Categories, Allegories","author":"P. Freyd","year":"1990","unstructured":"Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland, Amsterdam (1990)"},{"key":"20_CR5","unstructured":"Furusawa, H.: Algebraic Formalisations of Fuzzy Relations and their Representation Theorems. Ph.D-Thesis, Department of Informatics, Kyushu University, Japan (1998)"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","volume":"18","author":"J.A. Goguen","year":"1967","unstructured":"Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl.\u00a018, 145\u2013157 (1967)","journal-title":"J. Math. Anal. Appl."},{"key":"20_CR7","unstructured":"Kawahara, Y., Furusawa, H.: Crispness and Representation Theorems in Dedekind Categories. DOI-TR 143, Kyushu University (1997)"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0165-0114(97)00061-4","volume":"101","author":"Y. Kawahara","year":"1999","unstructured":"Kawahara, Y., Furusawa, H.: An Algebraic Formalization of Fuzzy Relations. Fuzzy Sets and Systems\u00a0101, 125\u2013135 (1999)","journal-title":"Fuzzy Sets and Systems"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.2307\/2266169","volume":"5","author":"H.S. Leonard","year":"1940","unstructured":"Leonard, H.S., Goodman, N.: The calculus of individuals and its use. Journal of Symbolic Logic\u00a05, 45\u201355 (1940)","journal-title":"Journal of Symbolic Logic"},{"key":"20_CR10","first-page":"939","volume":"290","author":"J.P. Olivier","year":"1980","unstructured":"Olivier, J.P., Serrato, D.: Cat\u00e9gories de Dedekind. Morphismes dans les Cat\u00e9gories de Schr\u00f6der. C.R. Acad. Sci. Paris\u00a0290, 939\u2013941 (1980)","journal-title":"Morphismes dans les Cat\u00e9gories de Schr\u00f6der. C.R. Acad. Sci. Paris"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0165-0114(94)00349-C","volume":"72","author":"J.P. Olivier","year":"1995","unstructured":"Olivier, J.P., Serrato, D.: Squares and Rectangles in Relational Categories - Three Cases: Semilattice, Distributive lattice and Boolean Non-unitary. Fuzzy sets and systems\u00a072, 167\u2013178 (1995)","journal-title":"Fuzzy sets and systems"},{"key":"20_CR12","series-title":"LNAI","first-page":"786","volume-title":"Automated Deduction - CADE-11","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cohn, A.G., Cui, Z.: Computing transitivity tables: A challenge for automated theorem provers. In: Kapur, D. (ed.) CADE 1992. LNCS (LNAI), vol.\u00a0607, pp. 786\u2013790. Springer, Heidelberg (1992)"},{"key":"20_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83608-4","volume-title":"Relationen und Graphen","author":"G. Schmidt","year":"1989","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relationen und Graphen. Springer, Heidelberg (1989); English version: Relations and Graphs. Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoret. Comput. Sci. Springer, Heidelberg (1993)"},{"key":"20_CR14","series-title":"Advances in Computer Science","volume-title":"Relational Methods in Computer Science","author":"G. Schmidt","year":"1997","unstructured":"Schmidt, G., Hattensperger, C., Winter, M.: Heterogeneous Relation Algebras. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science. Advances in Computer Science. Springer, Vienna (1997)"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0004-3702(00)00045-X","volume":"122","author":"J. Stell","year":"2000","unstructured":"Stell, J.: Boolean connection algebras: A new approach to the Region Connection Calculus. Artificial Intelligence\u00a0122, 111\u2013136 (2000)","journal-title":"Artificial Intelligence"},{"key":"20_CR16","unstructured":"Winter, M.: Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen. Dissertationsverlag NG Kopierladen GmbH, M\u00fcnchen (1998)"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/S0020-0255(01)00167-0","volume":"139","author":"M. Winter","year":"2001","unstructured":"Winter, M.: A new Algebraic Approach to L-Fuzzy Relations convenient to study Crispness. Information Sciences\u00a0139, 233\u2013252 (2001)","journal-title":"Information Sciences"},{"key":"20_CR18","first-page":"220","volume":"10","author":"M. Winter","year":"2002","unstructured":"Winter, M.: Derived Operations in Goguen Categories. Theory and Applications of Categories\u00a010, 220\u2013247 (2002)","journal-title":"Theory and Applications of Categories"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-36280-0_15","volume-title":"Relational Methods in Computer Science","author":"M. Winter","year":"2002","unstructured":"Winter, M.: Relational Constructions in Goguen Categories. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol.\u00a02561, pp. 212\u2013227. Springer, Heidelberg (2002)"},{"key":"20_CR20","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0165-0114(02)00508-0","volume":"138","author":"M. Winter","year":"2003","unstructured":"Winter, M.: Representation Theory of Goguen Categories. Fuzzy Sets and Systems\u00a0138, 85\u2013126 (2003)","journal-title":"Fuzzy Sets and Systems"},{"key":"20_CR21","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08, 338\u2013353 (1965)","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11734673_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T05:04:57Z","timestamp":1552367097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11734673_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540333395","9783540333401"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11734673_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}