van der Berg, Ineke; De Domenico, Andrea; Greco, Giuseppe; Manoorkar, Krishna B.; Palmigiano, Alessandra; Panettiere, Mattia Labelled calculi for the logics of rough concepts. (English) Zbl 07728696 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 172-188 (2023). MSC: 03Bxx 68T27 PDFBibTeX XMLCite \textit{I. van der Berg} et al., Lect. Notes Comput. Sci. 13963, 172--188 (2023; Zbl 07728696) Full Text: DOI
Li, Tong-Jun; Xu, Zhen-Zhen; Wu, Ming-Rui; Wu, Wei-Zhi Attribute reduction of crisp-crisp concept lattices based on three-way decisions. (English) Zbl 1524.68367 Yao, JingTao (ed.) et al., Rough sets. International joint conference, IJCRS 2022, Suzhou, China, November 11–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13633, 361-375 (2022). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{T.-J. Li} et al., Lect. Notes Comput. Sci. 13633, 361--375 (2022; Zbl 1524.68367) Full Text: DOI
Koyda, Maren; Stumme, Gerd Boolean substructures in formal concept analysis. (English) Zbl 07493551 Braud, Agnès (ed.) et al., Formal concept analysis. 16th international conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12733, 38-53 (2021). MSC: 68T30 PDFBibTeX XMLCite \textit{M. Koyda} and \textit{G. Stumme}, Lect. Notes Comput. Sci. 12733, 38--53 (2021; Zbl 07493551) Full Text: DOI arXiv
Yu, Zhe; Ju, Shier Getting consensus through a context-based argumentation framework. (English) Zbl 1484.68237 Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 132-145 (2021). MSC: 68T27 PDFBibTeX XMLCite \textit{Z. Yu} and \textit{S. Ju}, in: Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18--20 2021, Hangzhou, China. London: College Publications. 132--145 (2021; Zbl 1484.68237)
Calaque, Damien; Grivaux, Julien Formal moduli problems and formal derived stacks. (English. French summary) Zbl 1472.14004 Ben-Zvi, David et al., Derived algebraic geometry. Paris: Société Mathématique de France (SMF). Panor. Synth. 55, 85-145 (2021). MSC: 14A30 13D10 14A20 14B10 14D15 14D20 18N40 14-02 PDFBibTeX XMLCite \textit{D. Calaque} and \textit{J. Grivaux}, Panor. Synth. 55, 85--145 (2021; Zbl 1472.14004) Full Text: arXiv
Rosser, John Barkley jun. Coupled chaotic systems and extreme ecologic-economic outcomes. (English) Zbl 1457.91287 Szidarovszky, Ferenc (ed.) et al., Games and dynamics in economics. Essays in honor of Akio Matsumoto. Singapore: Springer. 3-15 (2020). MSC: 91B76 37D45 91-02 PDFBibTeX XMLCite \textit{J. B. Rosser jun.}, in: Games and dynamics in economics. Essays in honor of Akio Matsumoto. Singapore: Springer. 3--15 (2020; Zbl 1457.91287) Full Text: DOI
Britz, Katarina; Varzinczak, Ivan Preferential tableaux for contextual defeasible \(\mathcal{ALC}\). (English) Zbl 1435.68312 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 39-57 (2019). MSC: 68T27 68T30 68V15 PDFBibTeX XMLCite \textit{K. Britz} and \textit{I. Varzinczak}, Lect. Notes Comput. Sci. 11714, 39--57 (2019; Zbl 1435.68312) Full Text: DOI
Li, Tong-Jun; Wu, Wei-Zhi; Yang, Xiao-Ping Tolerance relations and rough approximations in incomplete contexts. (English) Zbl 1518.68373 Nguyen, Hung Son (ed.) et al., Rough sets. International joint conference, IJCRS 2018, Quy Nhon, Vietnam, August 20–24, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11103, 533-545 (2018). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{T.-J. Li} et al., Lect. Notes Comput. Sci. 11103, 533--545 (2018; Zbl 1518.68373) Full Text: DOI
Alcalde, Cristina; Burusco, Ana Study of the relevance of objects and attributes of \(L\)-fuzzy contexts using overlap indexes. (English) Zbl 1512.68320 Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 853, 537-548 (2018). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{C. Alcalde} and \textit{A. Burusco}, Commun. Comput. Inf. Sci. 853, 537--548 (2018; Zbl 1512.68320) Full Text: DOI
Antoni, Lubomir; Krajči, Stanislav; Krídlo, Ondrej On fuzzy generalizations of concept lattices. (English) Zbl 1429.68268 Kóczy, László T. (ed.) et al., Interactions between computational intelligence and mathematics. Cham: Springer. Stud. Comput. Intell. 758, 79-103 (2018). MSC: 68T30 06D72 PDFBibTeX XMLCite \textit{L. Antoni} et al., Stud. Comput. Intell. 758, 79--103 (2018; Zbl 1429.68268) Full Text: DOI
Barturen, Guillermo; Oliver, José L.; Hackenberg, Michael Error correction in methylation profiling from NGS bisulfite protocols. (English) Zbl 1460.92154 Elloumi, Mourad (ed.), Algorithms for next-generation sequencing data. Techniques, approaches, and applications. Cham: Springer. 167-183 (2017). MSC: 92D20 PDFBibTeX XMLCite \textit{G. Barturen} et al., in: Algorithms for next-generation sequencing data. Techniques, approaches, and applications. Cham: Springer. 167--183 (2017; Zbl 1460.92154) Full Text: DOI
Alcalde, Cristina; Burusco, Ana Knowledge extraction from \(L\)-fuzzy hypercontexts. (English) Zbl 1455.68198 Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 12-22 (2016). MSC: 68T30 PDFBibTeX XMLCite \textit{C. Alcalde} and \textit{A. Burusco}, Commun. Comput. Inf. Sci. 611, 12--22 (2016; Zbl 1455.68198) Full Text: DOI
Zhang, Zhiming; Zheng, Jiping; Wang, Yongge UC-PSkyline: probabilistic skyline queries over uncertain contexts. (English) Zbl 1398.68126 Huang, De-Shuang (ed.) et al., Intelligent computing methodologies. 12th international conference, ICIC 2016, Lanzhou, China, August 2–5, 2016. Proceedings. Part III. Cham: Springer (ISBN 978-3-319-42296-1/pbk; 978-3-319-42297-8/ebook). Lecture Notes in Computer Science 9773. Lecture Notes in Artificial Intelligence, 616-628 (2016). MSC: 68P15 68P05 68T37 PDFBibTeX XMLCite \textit{Z. Zhang} et al., Lect. Notes Comput. Sci. 9773, 616--628 (2016; Zbl 1398.68126) Full Text: DOI
Li, Tong-Jun; Wu, Wei-Zhi; Gu, Shen-Ming Rough approximations induced by orthocomplementations in formal contexts. (English) Zbl 1398.68546 Flores, Víctor (ed.) et al., Rough sets. International joint conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47159-4/pbk; 978-3-319-47160-0/ebook). Lecture Notes in Computer Science 9920. Lecture Notes in Artificial Intelligence, 97-106 (2016). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{T.-J. Li} et al., Lect. Notes Comput. Sci. 9920, 97--106 (2016; Zbl 1398.68546) Full Text: DOI
Shi, Yang; Fan, Hongfei On security of a white-box implementation of SHARK. (English) Zbl 1397.94098 Lopez, Javier (ed.) et al., Information security. 18th international conference, ISC 2015, Trondheim, Norway, September 9–11, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23317-8/pbk; 978-3-319-23318-5/ebook). Lecture Notes in Computer Science 9290, 455-471 (2015). MSC: 94A60 PDFBibTeX XMLCite \textit{Y. Shi} and \textit{H. Fan}, Lect. Notes Comput. Sci. 9290, 455--471 (2015; Zbl 1397.94098) Full Text: DOI
Guicciardini, Niccolò Proofs and contexts: the debate between Bernoulli and Newton on the mathematics of central force motion. (English) Zbl 1335.01016 Rowe, David E. (ed.) et al., A delicate balance: global perspectives on innovation and tradition in the history of mathematics. A Festschrift in honor of Joseph W. Dauben. Cham: Birkhäuser/Springer (ISBN 978-3-319-12029-4/hbk; 978-3-319-36594-7/pbk; 978-3-319-12030-0/ebook). Trends in the History of Science, 67-102 (2015). Reviewer: Thomas Sonar (Braunschweig) MSC: 01A50 01A45 PDFBibTeX XMLCite \textit{N. Guicciardini}, in: A delicate balance: global perspectives on innovation and tradition in the history of mathematics. A Festschrift in honor of Joseph W. Dauben. Cham: Birkhäuser/Springer. 67--102 (2015; Zbl 1335.01016) Full Text: DOI
Buzmakov, Aleksey; Kuznetsov, Sergei O.; Napoli, Amedeo Revisiting pattern structure projections. (English) Zbl 1312.68183 Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 200-215 (2015). MSC: 68T30 68T05 PDFBibTeX XMLCite \textit{A. Buzmakov} et al., Lect. Notes Comput. Sci. 9113, 200--215 (2015; Zbl 1312.68183) Full Text: DOI arXiv
Popov, O. V. The intensional use, appellatio rationis and incomplete object descriptions: an analysis of non-extensional contexts in the works by J. Buridan and E. K. Voĭshvillo. (Russian. English summary) Zbl 1308.03024 Karpenko, A. S. (ed.), Logicheskie issledovaniya. 20. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-197-3/hbk). 161-180 (2014). MSC: 03A05 01A35 03-03 PDFBibTeX XMLCite \textit{O. V. Popov}, in: Logicheskie issledovaniya. 20. Moskva: Tsentr Gumanitarnykh Initsiativ. 161--180 (2014; Zbl 1308.03024)
Orejas, Fernando; Boronat, Artur; Golas, Ulrike; Mylonakis, Nikos Checking bisimilarity for attributed graph transformation. (English) Zbl 1260.68275 Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 113-128 (2013). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Lect. Notes Comput. Sci. 7794, 113--128 (2013; Zbl 1260.68275) Full Text: DOI
Orejas, Fernando; Boronat, Artur; Mylonakis, Nikos Borrowed contexts for attributed graphs. (English) Zbl 1367.68148 Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 126-140 (2012). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Lect. Notes Comput. Sci. 7562, 126--140 (2012; Zbl 1367.68148) Full Text: DOI Link
Jipsen, Peter Categories of algebraic contexts equivalent to idempotent semirings and domain semirings. (English) Zbl 1364.68337 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 195-206 (2012). MSC: 68T30 06A12 16Y60 18A23 18B99 PDFBibTeX XMLCite \textit{P. Jipsen}, Lect. Notes Comput. Sci. 7560, 195--206 (2012; Zbl 1364.68337) Full Text: DOI
Kerkhoff, Sebastian A connection between clone theory and FCA provided by duality theory. (English) Zbl 1360.08002 Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 148-163 (2012). MSC: 08A40 06D50 18C10 06A15 PDFBibTeX XMLCite \textit{S. Kerkhoff}, Lect. Notes Comput. Sci. 7278, 148--163 (2012; Zbl 1360.08002) Full Text: DOI Link
de Paiva, Valeria Bridges from language to logic: concepts, contexts and ontologies. (English) Zbl 1347.03058 Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 83-94 (2011). MSC: 03B65 68T30 PDFBibTeX XMLCite \textit{V. de Paiva}, Electron. Notes Theor. Comput. Sci. 269, 83--94 (2011; Zbl 1347.03058) Full Text: DOI
Plotkin, Richard Cardinality transformations in diatonic space. (English) Zbl 1339.00018 Agon, Carlos (ed.) et al., Mathematics and computation in music. Third international conference, MCM 2011, Paris, France, June 15–17, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21589-6/pbk). Lecture Notes in Computer Science 6726. Lecture Notes in Artificial Intelligence, 207-219 (2011). MSC: 00A65 PDFBibTeX XMLCite \textit{R. Plotkin}, Lect. Notes Comput. Sci. 6726, 207--219 (2011; Zbl 1339.00018) Full Text: DOI
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina Labelled transitions for mobile ambients (as synthesized via a graphical encoding). (English) Zbl 1291.68281 Hildebrandt, Thomas (ed.) et al., Proceedings of the 15th international workshop on expressiveness in concurrency (EXPRESS 2008), Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 242, No. 1, 73-98 (2009). MSC: 68Q85 68R10 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Electron. Notes Theor. Comput. Sci. 242, No. 1, 73--98 (2009; Zbl 1291.68281) Full Text: DOI
Nepomuceno-Fernández, Ángel; Soler-Toscano, Fernando Defining inferential contexts: deduction and abduction. (English) Zbl 1226.03009 Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 511-529 (2009). MSC: 03A05 03A10 PDFBibTeX XMLCite \textit{Á. Nepomuceno-Fernández} and \textit{F. Soler-Toscano}, Stud. Log. (Lond.) 21, 511--529 (2009; Zbl 1226.03009)
Muthana, N. M.; Nauman, S. K. Reduced rings, Morita contexts and derivations. (English) Zbl 1207.16003 Kamarul Haili, Hailiza (ed.) et al., Proceedings of the 5th Asian mathematical conference (AMC), June 22–26, 2009, Kuala Lumpur, Malaysia. Vol. I: Pure Mathematics. Penang: Universiti Sains Malaysia, School of Mathematical Sciences (ISBN 978-967-5417-53-5/CD-ROM). 198-205 (2009). MSC: 16D90 16W25 16N60 16U70 16U80 PDFBibTeX XMLCite \textit{N. M. Muthana} and \textit{S. K. Nauman}, in: Proceedings of the 5th Asian mathematical conference (AMC), June 22--26, 2009, Kuala Lumpur, Malaysia. Vol. I: Pure Mathematics. Penang: Universiti Sains Malaysia, School of Mathematical Sciences. 198--205 (2009; Zbl 1207.16003)
Gabbay, Murdoch J.; Lengrand, Stéphane The \(\lambda\)-context calculus. (English) Zbl 1278.03036 Pientka, B. (ed.) et al., Proceedings of the second international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2007), Bremen, Germany, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 196, 19-35 (2008). MSC: 03B40 03B70 PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{S. Lengrand}, Electron. Notes Theor. Comput. Sci. 196, 19--35 (2008; Zbl 1278.03036) Full Text: Link
Abuhlail, J. Y.; Nauman, S. K. Injective Morita contexts (revisited). (English) Zbl 1182.16003 Brzeziński, Tomasz (ed.) et al., Modules and comodules. Proceedings of the international conference, Porto, Portugal, September 6–8, 2006. Dedicated to Robert Wisbauer on the occasion of his 65th birthday. Basel: Birkhäuser (ISBN 978-3-7643-8741-9/hbk). Trends in Mathematics, 1-30 (2008). Reviewer: A. I. Kashu (Kishinev) MSC: 16D90 16S90 PDFBibTeX XMLCite \textit{J. Y. Abuhlail} and \textit{S. K. Nauman}, in: Modules and comodules. Proceedings of the international conference, Porto, Portugal, September 6--8, 2006. Dedicated to Robert Wisbauer on the occasion of his 65th birthday. Basel: Birkhäuser. 1--30 (2008; Zbl 1182.16003) Full Text: arXiv
Zschalig, Christian The number of plane diagrams of a lattice. (English) Zbl 1132.06002 Medina, Raoul (ed.) et al., Formal concept analysis. 6th international conference, ICFCA 2008, Montreal, Canada, February 25–28, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78137-0/pbk). Lecture Notes in Computer Science 4933. Lecture Notes in Artificial Intelligence, 106-123 (2008). MSC: 06B05 05C10 68T30 PDFBibTeX XMLCite \textit{C. Zschalig}, Lect. Notes Comput. Sci. 4933, 106--123 (2008; Zbl 1132.06002) Full Text: DOI
Nogueira, Vitor; Abreu, Salvador Temporal contextual logic programming. (English) Zbl 1279.68042 López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 219-233 (2007). MSC: 68N17 03B44 03B70 PDFBibTeX XMLCite \textit{V. Nogueira} and \textit{S. Abreu}, Electron. Notes Theor. Comput. Sci. 177, 219--233 (2007; Zbl 1279.68042) Full Text: DOI
Katsumata, Shin-ya; Nishimura, Susumu Algebraic fusion of functions with an accumulating parameter and its improvement. (English) Zbl 1321.68170 Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 227-238 (2006). MSC: 68N19 68N30 68P05 68Q55 PDFBibTeX XMLCite \textit{S.-y. Katsumata} and \textit{S. Nishimura}, in: Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP '06, Portland, OR, USA, September 18--20, 2006. New York, NY: Association for Computing Machinery (ACM). 227--238 (2006; Zbl 1321.68170) Full Text: DOI
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri Context logic and tree update. (English) Zbl 1369.68132 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 271-282 (2005). MSC: 68N30 03B70 68P05 68Q42 PDFBibTeX XMLCite \textit{C. Calcagno} et al., in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '05, Long Beach, CA, USA, January 12--14, 2005. New York, NY: Association for Computing Machinery (ACM). 271--282 (2005; Zbl 1369.68132) Full Text: DOI Link
Wan, Kaiyu; Alagar, Vasu; Paquet, Joey Real time reactive programming in Lucid enriched with contexts. (English) Zbl 1108.68357 Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2004. First international colloquium, Guiyang, China, September 20–24, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25304-1/pbk). Lecture Notes in Computer Science 3407, 387-402 (2005). MSC: 68N15 PDFBibTeX XMLCite \textit{K. Wan} et al., Lect. Notes Comput. Sci. 3407, 387--402 (2005; Zbl 1108.68357) Full Text: DOI
Caenepeel, S.; De Groot, E. Galois corings applied to partial Galois theory. (English) Zbl 1085.16029 Kalla, Shyam L. (ed.) et al., Proceedings of the international conference on mathematics and its applications, ICMA 2004, Kuwait, April 5–7, 2004. Kuwait: Kuwait University, Department of Mathematics and Computer Science; Kuwait: Kuwait Foundation for the Advancement of Sciences (KFAS). 117-134 (2005). Reviewer: Michael Dokuchaev (São Paulo) MSC: 16W30 16W22 16D90 PDFBibTeX XMLCite \textit{S. Caenepeel} and \textit{E. De Groot}, in: Proceedings of the international conference on mathematics and its applications, ICMA 2004, Kuwait, April 5--7, 2004. Kuwait: Kuwait University, Department of Mathematics and Computer Science; Kuwait: Kuwait Foundation for the Advancement of Sciences (KFAS). 117--134 (2005; Zbl 1085.16029) Full Text: arXiv
Caenepeel, Stefaan; Vercruysse, Joost; Wang, Shuanhong Rationality properties for Morita contexts associated to corings. (English) Zbl 1080.16039 Caenepeel, Stefaan (ed.) et al., Hopf algebras in noncommutative geometry and physics. Proceedings of the conference on Hopf algebras and quantum groups, Brussels, Belgium, May 28–June 1, 2002. New York, NY: Marcel Dekker (ISBN 0-8247-5759-9/pbk). Lecture Notes in Pure and Applied Mathematics 239, 113-136 (2005). MSC: 16W30 16D90 PDFBibTeX XMLCite \textit{S. Caenepeel} et al., Lect. Notes Pure Appl. Math. 239, 113--136 (2005; Zbl 1080.16039)
Brzeziński, Tomasz; Kadison, Lars; Wisbauer, Robert On coseparable and biseparable corings. (English) Zbl 1082.16042 Caenepeel, Stefaan (ed.) et al., Hopf algebras in noncommutative geometry and physics. Proceedings of the conference on Hopf algebras and quantum groups, Brussels, Belgium, May 28–June 1, 2002. New York, NY: Marcel Dekker (ISBN 0-8247-5759-9/pbk). Lecture Notes in Pure and Applied Mathematics 239, 71-87 (2005). Reviewer: Jawad Y. Abuhlail (Dhahran) MSC: 16T15 16H05 16D90 16L30 PDFBibTeX XMLCite \textit{T. Brzeziński} et al., Lect. Notes Pure Appl. Math. 239, 71--87 (2005; Zbl 1082.16042) Full Text: arXiv
Abuhlail, Jawad Morita contexts for corings and equivalences. (English) Zbl 1080.16033 Caenepeel, Stefaan (ed.) et al., Hopf algebras in noncommutative geometry and physics. Proceedings of the conference on Hopf algebras and quantum groups, Brussels, Belgium, May 28–June 1, 2002. New York, NY: Marcel Dekker (ISBN 0-8247-5759-9/pbk). Lecture Notes in Pure and Applied Mathematics 239, 1-19 (2005). Reviewer: Margaret Beattie (Sackville) MSC: 16W30 16D90 16S40 PDFBibTeX XMLCite \textit{J. Abuhlail}, Lect. Notes Pure Appl. Math. 239, 1--19 (2005; Zbl 1080.16033) Full Text: arXiv
Tse, Stephen; Zdancewic, Steve Translating dependency into parametricity. (English) Zbl 1323.68168 Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 115-125 (2004). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{S. Tse} and \textit{S. Zdancewic}, in: Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP '04, Uppsala, Snowbird, UT, USA, September 19--21, 2004. New York, NY: Association for Computing Machinery (ACM). 115--125 (2004; Zbl 1323.68168) Full Text: DOI
Visser, Albert What makes expressions meaningful? A reflection on contexts and actions. (English) Zbl 1060.03022 Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 625-644 (2004). MSC: 03A05 PDFBibTeX XMLCite \textit{A. Visser}, De Gruyter Ser. Log. Appl. 6, 625--644 (2004; Zbl 1060.03022)
Caenepeel, S. Galois corings from the descent theory point of view. (English) Zbl 1082.16043 Janelidze, George (ed.) et al., Galois theory, Hopf algebras, and semiabelian categories. Papers from the workshop on categorical structures for descent and Galois theory, Hopf algebras, and semiabelian categories, Toronto, ON, Canada, September 23–28, 2002. (ISBN 0-8218-3290-5/hbk). Fields Institute Communications 43, 163-186 (2004). Reviewer: Jawad Y. Abuhlail (Dhahran) MSC: 16W30 16D90 18D10 PDFBibTeX XMLCite \textit{S. Caenepeel}, Fields Inst. Commun. 43, 163--186 (2004; Zbl 1082.16043) Full Text: arXiv
Buchweitz, Ragnar-Olaf Morita contexts, idempotents, and Hochschild cohomology – with applications to invariant rings. (English) Zbl 1062.16012 Avramov, Luchezar L. (ed.) et al., Commutative algebra. Interactions with algebraic geometry. Proceedings of the international conference, Grenoble, France, July 9–13, 2001 and the special session at the joint international meeting of the American Mathematical Society and the Société Mathématique de France, Lyon, France, July 17–20, 2001. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3233-6/pbk). Contemp. Math. 331, 25-53 (2003). MSC: 16E40 13D03 16D90 13A50 PDFBibTeX XMLCite \textit{R.-O. Buchweitz}, Contemp. Math. 331, 25--53 (2003; Zbl 1062.16012) Full Text: arXiv
Bellin, Gianluigi; Dalla Pozza, Carlo A pragmatic interpretation of substructural logics. (English) Zbl 1012.03029 Sieg, Wilfried (ed.) et al., Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Natick, MA: A K Peters. Lect. Notes Log. 15, 139-163 (2002). MSC: 03B47 03F05 PDFBibTeX XMLCite \textit{G. Bellin} and \textit{C. Dalla Pozza}, Lect. Notes Log. 15, 139--163 (2002; Zbl 1012.03029)
Parsons, Terence The logic of sense and denotation: Extensions and applications. (English) Zbl 1023.03004 Anderson, C. Anthony (ed.) et al., Logic, meaning and computation. Essays in memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 305, 507-543 (2001). MSC: 03A05 PDFBibTeX XMLCite \textit{T. Parsons}, Synth. Libr. 305, 507--543 (2001; Zbl 1023.03004)
Smirnova, E. D. On the puzzle of belief contexts. An approach to the semantics of intensional systems. (Russian. English summary) Zbl 1031.03014 Karpenko, A. S. (ed.), Logical investigations. 8. Papers from the 3rd international conference “Smirnov’s Readings”, Moscow, Russia, May 2001. Moskva: Nauka. 199-209 (2001). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{E. D. Smirnova}, in: Logicheskie issledovaniya. 8. Moskva: Nauka. 199--209 (2001; Zbl 1031.03014)
Strahringer, Selma; Wille, Rudolf; Wille, Uta Mathematical support for empirical theory building. (English) Zbl 1045.91509 Delugach, Harry S. (ed.) et al., Conceptual structures: broadening the base. 9th international conference, ICCS 2001, Stanford, CA, USA, July 30 – August 3, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42344-3). Lect. Notes Comput. Sci. 2120, 169-186 (2001). MSC: 91C99 03B80 PDFBibTeX XMLCite \textit{S. Strahringer} et al., Lect. Notes Comput. Sci. 2120, 169--186 (2001; Zbl 1045.91509) Full Text: Link
Besnard, Philippe; Tan, Yao-Hua Context-dependent natural deduction for non-monotonic reasoning. (English) Zbl 0996.03016 Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 249-266 (2001). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{P. Besnard} and \textit{Y.-H. Tan}, in: Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 249--266 (2001; Zbl 0996.03016)
Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi A simply typed context calculus with first-class environments. (English) Zbl 0979.03014 Kuchen, Herbert (ed.) et al., Functional and logic programming. 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2024, 359-374 (2001). MSC: 03B40 PDFBibTeX XMLCite \textit{M. Sato} et al., Lect. Notes Comput. Sci. 2024, 359--374 (2001; Zbl 0979.03014)
Herrmann, Christian; Luksch, Peter; Skorsky, Martin; Wille, Rudolf Algebras of semiconcepts and double Boolean algebras. (English) Zbl 0986.03049 Chajda, I. (ed.) et al., Contributions to general algebra 13. Proceedings of the 60th workshop on general algebra “60. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 22-25, 2000 and of the summer school ’99 on general algebra and ordered sets, Velké Karlovice, Czech Republic, August 30-September 4, 1999. Klagenfurt: Verlag Johannes Heyn. Contrib. Gen. Algebra. 13, 175-188 (2001). MSC: 03G25 03C05 PDFBibTeX XMLCite \textit{C. Herrmann} et al., Contrib. Gen. Algebra 13, 175--188 (2001; Zbl 0986.03049)
Liu, Gui-Long Hopf algebra coaction and its application to group-graded rings. (English) Zbl 0978.16038 Birkenmeier, Gary F. (ed.) et al., International symposium on ring theory. Proceedings of the 3rd Korea-China-Japan international symposium, held jointly with the 2nd Korea-Japan joint ring theory seminar, Kyongju, Korea, June 28-July 3, 1999. Boston, MA: Birkhäuser. Trends in Mathematics. 199-206 (2001). Reviewer: Serban Raianu (Syracuse) MSC: 16W30 16W50 16S40 16W22 PDFBibTeX XMLCite \textit{G.-L. Liu}, in: International symposium on ring theory. Proceedings of the 3rd Korea-China-Japan international symposium, held jointly with the 2nd Korea-Japan joint ring theory seminar, Kyongju, Korea, June 28--July 3, 1999. Boston, MA: Birkhäuser. 199--206 (2001; Zbl 0978.16038)
Boboc, Crina A Morita-Takeuchi context for graded coalgebras. (English) Zbl 1018.16018 Caenepeel, Stefaan (ed.) et al., Hopf algebras and quantum groups. Proceedings of the Brussels conference, Brussels, Belgium. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 209, 35-46 (2000). Reviewer: Blas Torrecillas (Almeria) MSC: 16W30 16W50 16D90 16S40 PDFBibTeX XMLCite \textit{C. Boboc}, Lect. Notes Pure Appl. Math. 209, 35--46 (2000; Zbl 1018.16018)
Gabbay, Dov M.; Nossum, Rolf T. Structured contexts with fibred semantics. (English) Zbl 0963.03051 Bonzon, Pierre (ed.) et al., Formal aspects of context. 1st international and interdisciplinary conference on modelling and using context, Rio de Janeiro, Brazil, January 1997. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 20, 193-209 (2000). MSC: 03B70 68T35 68T27 03B65 PDFBibTeX XMLCite \textit{D. M. Gabbay} and \textit{R. T. Nossum}, Appl. Log. Ser. 20, 193--209 (2000; Zbl 0963.03051)
García, José Luis; Marín, Leandro Some properties of tensor-idempotent rings. (English) Zbl 0967.16002 Huynh, D. V. (ed.) et al., Algebra and its applications. Proceedings of the international conference, Athens, OH, USA, March 25-28, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 259, 223-235 (2000). Reviewer: A.I.Kashu (Kishinev) MSC: 16D90 PDFBibTeX XMLCite \textit{J. L. García} and \textit{L. Marín}, Contemp. Math. 259, 223--235 (2000; Zbl 0967.16002)
Lengnink, Katja Similarity as distance in concept lattices. (Ähnlichkeit als Distanz in Begriffsverbänden.) (German) Zbl 0960.68145 Stumme, G. (ed.) et al., Begriffliche Wissensverarbeitung. Methoden und Anwendungen. Berlin: Springer. 57-71 (2000). Reviewer: Bohdan Zelinka (Liberec) MSC: 68T30 68R10 PDFBibTeX XMLCite \textit{K. Lengnink}, in: Begriffliche Wissensverarbeitung. Methoden und Anwendungen. Berlin: Springer. 57--71 (2000; Zbl 0960.68145)
Wille, Rudolf Mathematical support for empirical theory building. (English) Zbl 0972.06009 Janowitz, Melvin F. (ed.), OSDA98. Ordinal and symbolic data analysis. Univ. of Massachusetts, Amherst, MA, USA, September 28-30, 1998. Amsterdam: Elsevier, Electron. Notes Discrete Math. 2, no pag., electronic only (1999). MSC: 06D99 91C99 PDFBibTeX XMLCite \textit{R. Wille}, Electron. Notes Discrete Math. 2, no pag. (1999; Zbl 0972.06009)
Balazi, Abdelmajid; García Martín, A.; Martín González, C. On the notion of orders in the context of associative pairs. (English) Zbl 0974.16024 Castellón Serrano, A. (ed.) et al., Proceedings of the international conference on Jordan structures, Málaga, Spain, June 1997. Málaga: Univ. de Málaga, Departamento de Algebra, Geometria y Topologia. 25-30 (1999). MSC: 16U20 17A40 16D90 16H05 PDFBibTeX XMLCite \textit{A. Balazi} et al., in: Proceedings of the international conference on Jordan structures, Málaga, Spain, June 1997. Málaga: Univ. de Málaga, Departamento de Algebra, Geometria y Topologia. 25--30 (1999; Zbl 0974.16024)
van der Torre, Leendert Violation contexts and deontic independence. (English) Zbl 0946.03025 Bouquet, Paolo (ed.) et al., Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1688, 361-374 (1999). MSC: 03B45 PDFBibTeX XMLCite \textit{L. van der Torre}, Lect. Notes Comput. Sci. 1688, 361--374 (1999; Zbl 0946.03025)
Ganter, Bernhard; Wille, Rudolf Contextual attribute logic. (English) Zbl 0938.03048 Tepfenhart, William (ed.) et al., Conceptual structures: Standards and practices. 7th international conference, ICCS ‘99, Blacksburg, VA, USA, July 12-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1640, 377-388 (1999). MSC: 03B60 68T30 PDFBibTeX XMLCite \textit{B. Ganter} and \textit{R. Wille}, Lect. Notes Comput. Sci. 1640, 377--388 (1999; Zbl 0938.03048)
de Groote, Philippe The non-associative Lambek calculus with product in polynomial time. (English) Zbl 0933.03017 Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 128-139 (1999). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B47 03B25 03D15 68Q25 PDFBibTeX XMLCite \textit{P. de Groote}, Lect. Notes Comput. Sci. 1617, 128--139 (1999; Zbl 0933.03017)
Pitts, Andrew; Stark, Ian Operational reasoning for functions with local state. (English) Zbl 0967.68035 Gordon, Andrew D. (ed.) et al., Higher order operational techniques in semantics. Papers from the HOOTS workshop, Cambridge, UK, October 1995. Cambridge: Cambridge University Press. Publ. Newton Inst. 12, 227-273 (1998). MSC: 68N18 PDFBibTeX XMLCite \textit{A. Pitts} and \textit{I. Stark}, Publ. Newton Inst. 12, 227--273 (1998; Zbl 0967.68035)
Hao, Zhifeng; Shum, Kar-Ping The Grothendieck groups of rings of Morita contexts. (English) Zbl 0979.16007 Wang, E-Fang (ed.) et al., Group theory. Proceedings of the 1996 international conference, Beijing, China, May 27-31, 1996. Singapore: Springer. 88-97 (1998). Reviewer: A.I.Kashu (Kishinev) MSC: 16E20 16D90 16P40 16D40 PDFBibTeX XMLCite \textit{Z. Hao} and \textit{K.-P. Shum}, in: Group theory. Proceedings of the 1996 international conference, Beijing, China, May 27--31, 1996. Singapore: Springer. 88--97 (1998; Zbl 0979.16007)
van Benthem, Johan Changing contexts and shifting assertions. (English) Zbl 0959.03018 Aliseda, Atocha (ed.) et al., Computing natural language. Based on the 4th CSLI workshop on logic, language, and computation, Stanford, CA, USA, June 2-4, 1995. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 81, 51-65 (1998). MSC: 03B65 PDFBibTeX XMLCite \textit{J. van Benthem}, in: Computing natural language. Based on the 4th CSLI workshop on logic, language, and computation, Stanford, CA, USA, June 2--4, 1995. Stanford, CA: CSLI Publications. 51--65 (1998; Zbl 0959.03018)
Dăscălescu, S.; Năstăsescu, C.; Raianu, Ş. Strongly graded coalgebras and crossed coproducts. (English) Zbl 0915.16030 Dikranjan, Dikran (ed.) et al., Abelian groups, module theory, and topology. Proceedings in honour of Adalberto Orsatti’s 60th birthday, Padua, Italy, 1997. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 201, 131-142 (1998). Reviewer: J.Gómez Torrecillas (Granada) MSC: 16W30 16W50 16S35 PDFBibTeX XMLCite \textit{S. Dăscălescu} et al., Lect. Notes Pure Appl. Math. 201, 131--142 (1998; Zbl 0915.16030)
Marion, Jean-Yves Case study: Additive linear logic and lattices. (English) Zbl 0888.03035 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 237-247 (1997). MSC: 03F03 03B20 PDFBibTeX XMLCite \textit{J.-Y. Marion}, Lect. Notes Comput. Sci. 1234, 237--247 (1997; Zbl 0888.03035)
Su, Kaile; Ding, Decheng; Chen, Huowang A three-valued quantificational logic of context. (English) Zbl 0881.03015 Jiang, Tao (ed.) et al., Computing and combinatorics. 3rd annual international conference, COCOON ’97. Shanghai, China. August 20–22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1276, 343-352 (1997). MSC: 03B45 68T27 03B50 PDFBibTeX XMLCite \textit{K. Su} et al., Lect. Notes Comput. Sci. 1276, 343--352 (1997; Zbl 0881.03015)
Liu, Guilong Hopf algebra actions and Morita contexts. (English) Zbl 0852.16021 Gardner, B. J. (ed.) et al., Rings and radicals. Proceedings of the international conference, Shijiazhuang, China, 1994. Harlow: Longman. Pitman Res. Notes Math. Ser. 346, 221-226 (1996). Reviewer: Li Fang (Nanjing) MSC: 16S40 16W30 16W20 PDFBibTeX XMLCite \textit{G. Liu}, Pitman Res. Notes Math. Ser. 346, 221--226 (1996; Zbl 0852.16021)
Kyuno, S.; Veldsman, S. Morita contexts and radicals of near-rings. (English) Zbl 0849.16041 Gardner, B. J. (ed.) et al., Rings and radicals. Proceedings of the international conference, Shijiazhuang, China, 1994. Harlow: Longman. Pitman Res. Notes Math. Ser. 346, 58-72 (1996). Reviewer: G.L.Booth (Unitra / Transkei) MSC: 16Y30 16S50 16D90 16N80 PDFBibTeX XMLCite \textit{S. Kyuno} and \textit{S. Veldsman}, Pitman Res. Notes Math. Ser. 346, 58--72 (1996; Zbl 0849.16041)
Haghany, A. Hopficity and co-Hopficity of generalized matrix rings. (English) Zbl 0930.16004 Seddighi, K. (ed.), Proceedings of the 27th annual Iranian mathematics conference, Shiraz, Iran, March 27–30, 1996. Shiraz: Shiraz University, Dept. of Mathematics, 101-106 (1996). MSC: 16D90 16W20 16S50 PDFBibTeX XMLCite \textit{A. Haghany}, in: Proceedings of the 27th annual Iranian mathematics conference, Shiraz, Iran, March 27--30, 1996. Shiraz: Shiraz University, Dept. of Mathematics. 101--106 (1996; Zbl 0930.16004)
Vogt, Frank Bialgebraic contexts resulting from duality theories. (English) Zbl 0884.08003 Contributions to general algebra 9. Proceedings of the conference, Linz, Austria, June 1994. Wien: Hölder-Pichler-Tempsky, 313-320 (1995). MSC: 08A99 PDFBibTeX XMLCite \textit{F. Vogt}, Contrib. Gen. Algebra 9, 313--320 (1995; Zbl 0884.08003)
Doi, Yukio Generalized smash products and Morita contexts for arbitrary Hopf algebras. (English) Zbl 0831.16023 Bergen, Jeffrey (ed.) et al., Advances in Hopf algebras. Conference, August 10-14, 1992, Chicago, IL, USA. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 158, 39-53 (1994). Reviewer: E.J.Taft (New Brunswick) MSC: 16S40 16W30 16D90 PDFBibTeX XMLCite \textit{Y. Doi}, Lect. Notes Pure Appl. Math. 158, 39--53 (1994; Zbl 0831.16023)
Wille, Rudolf Tensor products of complete lattices as closure systems. (English) Zbl 0736.06011 General algebra, Proc. Conf., Vienna/Austria 1990, Contrib. Gen. Algebra 7, 381-386 (1991). MSC: 06B23 06A15 PDFBibTeX XMLCite \textit{R. Wille}, Contrib. Gen. Algebra None, 381--386 (1991; Zbl 0736.06011)
Loustaunau, Philippe; Shapiro, Jay Morita contexts. (English) Zbl 0711.16006 Non-commutative ring theory, Proc. Conf., Athens/OH (USA) 1989, Lect. Notes Math. 1448, 80-92 (1990). Reviewer: Kenneth A. Brown (Glasgow) MSC: 16D90 16S35 16D25 16W20 PDFBibTeX XML
Ganter, Bernhard; Wille, Rudolf Conceptual scaling. (English) Zbl 0703.06002 Applications of combinatorics and graph theory to biological and social sciences, Proc. Workshop 1987-88, IMA Vol. Math. Appl. 17, 139-167 (1989). Reviewer: J.Duda MSC: 06B05 06A15 PDFBibTeX XML
D’Atri, A.; Di Felice, P.; Lakshmanan, V. S.; Moscarini, M. On global context dependencies and their properties. (English) Zbl 0659.68123 Mathematical fundamentals of database systems, 1st Symp., Dresden/GDR 1987, Lect. Notes Comput. Sci. 305, 71-79 (1988). Reviewer: S.Luchian MSC: 68P20 PDFBibTeX XML
Balsters, Herman Lambda calculus extended with segments. (English) Zbl 0651.03007 Mathematical logic and theoretical computer science, Lect. Notes Pure Appl. Math. 106, 15-27 (1987). Reviewer: G.Mints MSC: 03B40 PDFBibTeX XML
Luksch, Peter; Wille, Rudolf Substitution decomposition of concept lattices. (English) Zbl 0639.06005 General algebra, Proc. Conf., Salzburg/Austria 1986, Contrib. Gen. Algebra 5, 213-220 (1987). Reviewer: G.Călugăreanu MSC: 06B99 06B23 PDFBibTeX XML
Hughes, John Strictness detection in non-flat domains. (English) Zbl 0599.68011 Programs as data objects, Proc. Workshop, Copenhagen/Den. 1985, Lect. Notes Comput. Sci. 217, 112-135 (1986). MSC: 68N01 68Q60 PDFBibTeX XML
Landman, Fred Data semantics for attitude reports. (English) Zbl 0583.03019 Varieties of formal semantics, Proc. 4th Colloq., Amsterdam 1982, Groningen-Amst. Stud. Semantics 3, 193-217 (1984). Reviewer: J.Mackenzie MSC: 03B65 PDFBibTeX XML