Shi, Chenwei; Sun, Yang Logic of convex order. (English) Zbl 07450685 Stud. Log. 109, No. 5, 1019-1047 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{C. Shi} and \textit{Y. Sun}, Stud. Log. 109, No. 5, 1019--1047 (2021; Zbl 07450685) Full Text: DOI OpenURL
Spreen, Dieter Generalised information systems capture L-domains. (English) Zbl 07346939 Theor. Comput. Sci. 869, 1-28 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{D. Spreen}, Theor. Comput. Sci. 869, 1--28 (2021; Zbl 07346939) Full Text: DOI arXiv OpenURL
Wu, Mingyuan; Guo, Lankun; Li, Qingguo A representation of L-domains by information systems. (English) Zbl 1332.68136 Theor. Comput. Sci. 612, 126-136 (2016). MSC: 68Q55 06B35 PDF BibTeX XML Cite \textit{M. Wu} et al., Theor. Comput. Sci. 612, 126--136 (2016; Zbl 1332.68136) Full Text: DOI OpenURL
Xi, Xiaoyong; Li, Yongming Exponentials in a Cartesian closed category which contains all algebraic domains. (English) Zbl 1330.18004 Appl. Categ. Struct. 23, No. 5, 665-672 (2015). MSC: 18B35 18D15 06B35 68Q55 PDF BibTeX XML Cite \textit{X. Xi} and \textit{Y. Li}, Appl. Categ. Struct. 23, No. 5, 665--672 (2015; Zbl 1330.18004) Full Text: DOI OpenURL
Wu, Mingyuan; Li, Qingguo; Zhou, Xiangnan Representations of algebraic domains and algebraic L-domains by information systems. (English) Zbl 1337.68163 Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 117-129, electronic only (2014). MSC: 68Q55 06B35 PDF BibTeX XML Cite \textit{M. Wu} et al., Electron. Notes Theor. Comput. Sci. 301, 117--129 (2014; Zbl 1337.68163) Full Text: DOI OpenURL
Bauer, Andrej; Plotkin, Gordon D.; Scott, Dana S. Cartesian closed categories of separable Scott domains. (English) Zbl 1360.68572 Theor. Comput. Sci. 546, 17-29 (2014). MSC: 68Q55 03B40 06B35 18D15 PDF BibTeX XML Cite \textit{A. Bauer} et al., Theor. Comput. Sci. 546, 17--29 (2014; Zbl 1360.68572) Full Text: DOI OpenURL
Polonsky, Andrew; Barendregt, Henk An ontology of states. (English) Zbl 1405.68087 Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 18-26 (2013). MSC: 68N30 68N18 68Q01 PDF BibTeX XML Cite \textit{A. Polonsky} and \textit{H. Barendregt}, Lect. Notes Comput. Sci. 8106, 18--26 (2013; Zbl 1405.68087) Full Text: DOI OpenURL
Martín, J.; Mayor, G.; Valero, O. On quasi-metric aggregation functions and fixed point theorems. (English) Zbl 1284.54061 Fuzzy Sets Syst. 228, 88-104 (2013). MSC: 54H25 68Q55 PDF BibTeX XML Cite \textit{J. Martín} et al., Fuzzy Sets Syst. 228, 88--104 (2013; Zbl 1284.54061) Full Text: DOI OpenURL
Bertossi, Leopoldo; Kolahi, Solmaz; Lakshmanan, Laks V. S. Data cleaning and query answering with matching dependencies and matching functions. (English) Zbl 1270.68102 Theory Comput. Syst. 52, No. 3, 441-482 (2013). MSC: 68P15 68P05 PDF BibTeX XML Cite \textit{L. Bertossi} et al., Theory Comput. Syst. 52, No. 3, 441--482 (2013; Zbl 1270.68102) Full Text: DOI arXiv Link OpenURL
Inoue, Katsumi; Sakama, Chiaki Oscillating behavior of logic programs. (English) Zbl 1357.68036 Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 345-362 (2012). MSC: 68N17 PDF BibTeX XML Cite \textit{K. Inoue} and \textit{C. Sakama}, Lect. Notes Comput. Sci. 7265, 345--362 (2012; Zbl 1357.68036) Full Text: DOI OpenURL
Schmidt, David A. Inverse-limit and topological aspects of abstract interpretation. (English) Zbl 1283.68221 Theor. Comput. Sci. 430, 23-42 (2012). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 68Q65 PDF BibTeX XML Cite \textit{D. A. Schmidt}, Theor. Comput. Sci. 430, 23--42 (2012; Zbl 1283.68221) Full Text: DOI OpenURL
Doh, Kyung-Goo; Schmidt, David A. An action semantics based on two combinators. (English) Zbl 1253.68210 Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 274-296 (2009). MSC: 68Q55 68Q65 PDF BibTeX XML Cite \textit{K.-G. Doh} and \textit{D. A. Schmidt}, Lect. Notes Comput. Sci. 5700, 274--296 (2009; Zbl 1253.68210) Full Text: DOI OpenURL
Schmidt, David A. Abstract interpretation from a topological perspective. (English) Zbl 1248.68150 Palsberg, Jens (ed.) et al., Static analysis. 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03236-3/pbk). Lecture Notes in Computer Science 5673, 293-308 (2009). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{D. A. Schmidt}, Lect. Notes Comput. Sci. 5673, 293--308 (2009; Zbl 1248.68150) Full Text: DOI OpenURL
Sanders, J. W. Behaviour approximated on subgroups. (English) Zbl 1202.54011 Topology Appl. 156, No. 11, 1911-1918 (2009). Reviewer: Salvador Hernández (Castellon) MSC: 54C05 54B05 54H11 22A99 54E52 68Q99 PDF BibTeX XML Cite \textit{J. W. Sanders}, Topology Appl. 156, No. 11, 1911--1918 (2009; Zbl 1202.54011) Full Text: DOI OpenURL
Spreen, Dieter; Xu, Luoshan; Mao, Xuxin Information systems revisited – the general continuous case. (English) Zbl 1158.68023 Theor. Comput. Sci. 405, No. 1-2, 176-187 (2008). MSC: 68Q55 68T30 PDF BibTeX XML Cite \textit{D. Spreen} et al., Theor. Comput. Sci. 405, No. 1--2, 176--187 (2008; Zbl 1158.68023) Full Text: DOI Link OpenURL
Marcial-Romero, J. Raymundo; Escardó, Martín H. Semantics of a sequential language for exact real-number computation. (English) Zbl 1118.68083 Theor. Comput. Sci. 379, No. 1-2, 120-141 (2007). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{J. R. Marcial-Romero} and \textit{M. H. Escardó}, Theor. Comput. Sci. 379, No. 1--2, 120--141 (2007; Zbl 1118.68083) Full Text: DOI Link OpenURL
López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael A new generic scheme for functional logic programming with constraints. (English) Zbl 1115.68048 High.-Order Symb. Comput. 20, No. 1-2, 73-122 (2007). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{F. J. López Fraguas} et al., High.-Order Symb. Comput. 20, No. 1--2, 73--122 (2007; Zbl 1115.68048) Full Text: DOI OpenURL
Krob, Daniel Modelling of complex software systems: a reasoned overview. (English) Zbl 1225.68080 Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 1-22 (2006). MSC: 68N99 68T35 68U35 PDF BibTeX XML Cite \textit{D. Krob}, Lect. Notes Comput. Sci. 4229, 1--22 (2006; Zbl 1225.68080) Full Text: DOI OpenURL
Zhang, Guo-Qiang; Rounds, William C. Reasoning with power defaults. (English) Zbl 1082.68109 Theor. Comput. Sci. 323, No. 1-3, 321-350 (2004). MSC: 68T27 68T37 PDF BibTeX XML Cite \textit{G.-Q. Zhang} and \textit{W. C. Rounds}, Theor. Comput. Sci. 323, No. 1--3, 321--350 (2004; Zbl 1082.68109) Full Text: DOI OpenURL
Sánchez Alvarez, Daniel; Gómez Skarmeta, Antonio F. A fuzzy language. (English) Zbl 1059.68017 Fuzzy Sets Syst. 141, No. 3, 335-390 (2004). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{D. Sánchez Alvarez} and \textit{A. F. Gómez Skarmeta}, Fuzzy Sets Syst. 141, No. 3, 335--390 (2004; Zbl 1059.68017) Full Text: DOI OpenURL
Zhang, Guo-Qiang Domain \(\mu\)-calculus. (English) Zbl 1038.03038 Theor. Inform. Appl. 37, No. 4, 337-364 (2003). MSC: 03B70 68Q45 68Q55 PDF BibTeX XML Cite \textit{G.-Q. Zhang}, Theor. Inform. Appl. 37, No. 4, 337--364 (2003; Zbl 1038.03038) Full Text: DOI Numdam EuDML OpenURL
van Bakel, Steffen; Fernández, Maribel Normalization, approximation, and semantics for combinator systems. (English) Zbl 1019.68059 Theor. Comput. Sci. 290, No. 1, 975-1019 (2003). MSC: 68Q55 PDF BibTeX XML Cite \textit{S. van Bakel} and \textit{M. Fernández}, Theor. Comput. Sci. 290, No. 1, 975--1019 (2003; Zbl 1019.68059) Full Text: DOI OpenURL
Caballero, Rafael; Rodríguez-Artalejo, Mario A declarative debugging system for lazy functional logic programs. (English) Zbl 1268.68064 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 113-175 (2002). MSC: 68N30 68N17 68N18 PDF BibTeX XML Cite \textit{R. Caballero} and \textit{M. Rodríguez-Artalejo}, Electron. Notes Theor. Comput. Sci. 64, 113--175 (2002; Zbl 1268.68064) Full Text: DOI OpenURL
Cousot, Patrick Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. (English) Zbl 0996.68119 Theor. Comput. Sci. 277, No. 1-2, 47-103 (2002). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{P. Cousot}, Theor. Comput. Sci. 277, No. 1--2, 47--103 (2002; Zbl 0996.68119) Full Text: DOI OpenURL
Bierman, G. M.; Pitts, A. M.; Russo, C. V. Operational properties of Lily, a polymorphic linear lambda calculus with recursion. (English) Zbl 1262.68099 Jeffrey, Alan (ed.), HOOTS 2000. 4th international workshop on higher order operational techniques in semantics (satellite to PLI 2000), Montreal, Canada, September 22, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 41, No. 3, 70-88 (2001). MSC: 68Q55 68N18 03B40 PDF BibTeX XML Cite \textit{G. M. Bierman} et al., Electron. Notes Theor. Comput. Sci. 41, No. 3, 70--88 (2001; Zbl 1262.68099) Full Text: DOI OpenURL
Salibra, Antonino Towards lambda calculus order-incompleteness. (English) Zbl 1261.03076 Levy, Jean-Jacques (ed.), BOTH 2001 – Böhm’s theorem: applications to computer science theory. Proceedings of one of the four satellite workshops of the 28th international colloquium on automata, languages and programming (ICALP 2001) held in Crete, Greece, July 13, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 2, 145-158 (2001). MSC: 03B40 PDF BibTeX XML Cite \textit{A. Salibra}, Electron. Notes Theor. Comput. Sci. 50, No. 2, 145--158 (2001; Zbl 1261.03076) Full Text: DOI OpenURL
Lago, Joaquín Mateos; Artalejo, Mario Rodríguez A declarative framework for object-oriented programming with genetic inheritance. (English) Zbl 0992.68025 Theor. Comput. Sci. 269, No. 1-2, 363-417 (2001). MSC: 68N19 PDF BibTeX XML Cite \textit{J. M. Lago} and \textit{M. R. Artalejo}, Theor. Comput. Sci. 269, No. 1--2, 363--417 (2001; Zbl 0992.68025) Full Text: DOI OpenURL
Otto, Harald E. From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice. (English) Zbl 0979.68059 J. Comput. Sci. Technol. 16, No. 3, 208-230 (2001). MSC: 68Q55 PDF BibTeX XML Cite \textit{H. E. Otto}, J. Comput. Sci. Technol. 16, No. 3, 208--230 (2001; Zbl 0979.68059) Full Text: DOI OpenURL
Hains, G.; Loulergue, F.; Mullins, J. Concrete data structures and functional parallel programming. (English) Zbl 0974.68029 Theor. Comput. Sci. 258, No. 1-2, 233-267 (2001). MSC: 68N18 PDF BibTeX XML Cite \textit{G. Hains} et al., Theor. Comput. Sci. 258, No. 1--2, 233--267 (2001; Zbl 0974.68029) Full Text: DOI OpenURL
Plotkin, B. Algebra, categories and databases. (English) Zbl 0967.03058 Hazewinkel, M. (ed.), Handbook of algebra. Volume 2. Amsterdam: North-Holland. 79-148 (2000). MSC: 03G15 68P15 08A70 03C05 03G30 18C10 18C15 03C98 PDF BibTeX XML Cite \textit{B. Plotkin}, in: Handbook of algebra. Volume 2. Amsterdam: North-Holland. 79--148 (2000; Zbl 0967.03058) OpenURL
Codish, M.; Lagoon, V. Type dependencies for logic programs using ACI-unification. (English) Zbl 0944.68014 Theor. Comput. Sci. 238, No. 1-2, 131-159 (2000). MSC: 68N17 PDF BibTeX XML Cite \textit{M. Codish} and \textit{V. Lagoon}, Theor. Comput. Sci. 238, No. 1--2, 131--159 (2000; Zbl 0944.68014) Full Text: DOI OpenURL
Liang, Jihua; Keimel, K. Compact continuous \(L\)-domains. (English) Zbl 0941.68080 Comput. Math. Appl. 38, No. 1, 81-89 (1999). MSC: 68Q55 06B99 PDF BibTeX XML Cite \textit{J. Liang} and \textit{K. Keimel}, Comput. Math. Appl. 38, No. 1, 81--89 (1999; Zbl 0941.68080) Full Text: DOI OpenURL
Filé, Gilberto; Ranzato, Francesco The powerset operator on abstract interpretations. (English) Zbl 0930.68033 Theor. Comput. Sci. 222, No. 1-2, 77-111 (1999). MSC: 68N17 PDF BibTeX XML Cite \textit{G. Filé} and \textit{F. Ranzato}, Theor. Comput. Sci. 222, No. 1--2, 77--111 (1999; Zbl 0930.68033) Full Text: DOI OpenURL
Letichevsky, Alexander; Gilbert, David A general theory of action languages. (English. Russian original) Zbl 0920.68024 Cybern. Syst. Anal. 34, No. 1, 12-30 (1998); translation from Kibern. Sist. Anal. 1998, No. 1, 16-36 (1998). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{A. Letichevsky} and \textit{D. Gilbert}, Cybern. Syst. Anal. 34, No. 1, 12--30 (1998; Zbl 0920.68024); translation from Kibern. Sist. Anal. 1998, No. 1, 16--36 (1998) Full Text: DOI OpenURL
Alessi, Fabio; Baldan, Paolo A characterization of distance between 1-bounded compact ultrametric spaces through a universal space. (English) Zbl 0908.68099 Theor. Comput. Sci. 193, No. 1-2, 113-127 (1998). MSC: 68Q55 PDF BibTeX XML Cite \textit{F. Alessi} and \textit{P. Baldan}, Theor. Comput. Sci. 193, No. 1--2, 113--127 (1998; Zbl 0908.68099) Full Text: DOI OpenURL
Zhang, Guo-Qiang The largest cartesian closed category of stable domains. (English) Zbl 0872.68109 Theor. Comput. Sci. 166, No. 1-2, 203-219 (1996). MSC: 68Q55 PDF BibTeX XML Cite \textit{G.-Q. Zhang}, Theor. Comput. Sci. 166, No. 1--2, 203--219 (1996; Zbl 0872.68109) Full Text: DOI OpenURL
Gold, Robert A compositional dataflow semantics for Petri nets. (English) Zbl 0831.68070 Acta Inf. 32, No. 7, 627-645 (1995). Reviewer: R.Gold MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{R. Gold}, Acta Inf. 32, No. 7, 627--645 (1995; Zbl 0831.68070) Full Text: DOI OpenURL
Fiech, Adrian; Huth, Michael Algebraic domains of natural transformations. (English) Zbl 0874.68182 Theor. Comput. Sci. 136, No. 1, 57-78 (1994). MSC: 68Q55 18A25 PDF BibTeX XML Cite \textit{A. Fiech} and \textit{M. Huth}, Theor. Comput. Sci. 136, No. 1, 57--78 (1994; Zbl 0874.68182) Full Text: DOI OpenURL
Alessi, Fabio; Barbanera, Franco Toward a semantics for the quest language. (English) Zbl 0884.68076 RAIRO, Inform. Théor. Appl. 28, No. 6, 513-555 (1994). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{F. Alessi} and \textit{F. Barbanera}, RAIRO, Inform. Théor. Appl. 28, No. 6, 513--555 (1994; Zbl 0884.68076) Full Text: DOI EuDML OpenURL
Lellahi, Seyed-Kazem; Spyratos, Nicolas Deduction over graphs under constraints: A soundness and completeness theorem. (English) Zbl 0804.18004 Diagrammes 29, LS1-LS24 (1993). Reviewer: C.Calude (Auckland) MSC: 18C10 03G30 18D20 68Q65 68T30 PDF BibTeX XML Cite \textit{S.-K. Lellahi} and \textit{N. Spyratos}, Diagrammes 29, LS1-LS24 (1993; Zbl 0804.18004) Full Text: EuDML OpenURL
Scott, Dana S. A type-theoretical alternative to ISWIM, CUCH, OWHY. (English) Zbl 0942.68522 Theor. Comput. Sci. 121, No. 1-2, 411-440 (1993). MSC: 68N15 03B40 03D75 PDF BibTeX XML Cite \textit{D. S. Scott}, Theor. Comput. Sci. 121, No. 1--2, 411--440 (1993; Zbl 0942.68522) Full Text: DOI OpenURL
Brookes, Stephen Historical introduction to “Concrete domains” by G. Kahn and G. D. Plotkin. (English) Zbl 0809.68082 Theor. Comput. Sci. 121, No. 1-2, 179-186 (1993). Reviewer: C.Masalagiu (Iaşi) MSC: 68Q55 68-03 68N15 PDF BibTeX XML Cite \textit{S. Brookes}, Theor. Comput. Sci. 121, No. 1--2, 179--186 (1993; Zbl 0809.68082) Full Text: DOI OpenURL
de Bakker, J. W.; de Vink, E. P. Rendez-vous with metric semantics. (English) Zbl 0818.68106 New Generation Comput. 12, No. 1, 53-90 (1993). MSC: 68Q55 68Q10 PDF BibTeX XML Cite \textit{J. W. de Bakker} and \textit{E. P. de Vink}, New Generation Comput. 12, No. 1, 53--90 (1993; Zbl 0818.68106) Full Text: DOI OpenURL
Dosch, Walter On a generalized product for domains. (English) Zbl 0783.68074 Theor. Comput. Sci. 119, No. 1, 103-125 (1993). MSC: 68Q55 PDF BibTeX XML Cite \textit{W. Dosch}, Theor. Comput. Sci. 119, No. 1, 103--125 (1993; Zbl 0783.68074) Full Text: DOI OpenURL
Brink, C.; Britz, K.; Melton, A. A note on fuzzy power relations. (English) Zbl 0793.04004 Fuzzy Sets Syst. 54, No. 1, 115-117 (1993). Reviewer: M.Matłoka (Poznań) MSC: 03E72 PDF BibTeX XML Cite \textit{C. Brink} et al., Fuzzy Sets Syst. 54, No. 1, 115--117 (1993; Zbl 0793.04004) Full Text: DOI OpenURL
Libkin, Leonid A remark about algebraicity in complete partial orders. (English) Zbl 0776.06001 J. Pure Appl. Algebra 86, No. 1, 75-77 (1993). MSC: 06A06 68Q55 08A55 08A70 PDF BibTeX XML Cite \textit{L. Libkin}, J. Pure Appl. Algebra 86, No. 1, 75--77 (1993; Zbl 0776.06001) Full Text: DOI OpenURL
Grätzer, G.; Schmidt, E. T. On the congruence lattice of a Scott-domain. (English) Zbl 0795.06008 Algebra Univers. 30, No. 2, 297-299 (1993). Reviewer: M.F.Janowitz (Amherst) MSC: 06B15 06B23 06C05 06B35 06B10 PDF BibTeX XML Cite \textit{G. Grätzer} and \textit{E. T. Schmidt}, Algebra Univers. 30, No. 2, 297--299 (1993; Zbl 0795.06008) Full Text: DOI OpenURL
Libkin, Leonid Direct product decompositions of lattices, closures and relation schemes. (English) Zbl 0780.06003 Discrete Math. 112, No. 1-3, 119-138 (1993). MSC: 06A15 06B05 68P15 PDF BibTeX XML Cite \textit{L. Libkin}, Discrete Math. 112, No. 1--3, 119--138 (1993; Zbl 0780.06003) Full Text: DOI OpenURL
Gunter, Carl A. The mixed powerdomain. (English) Zbl 0764.68092 Theor. Comput. Sci. 103, No. 2, 311-334 (1992). MSC: 68Q55 PDF BibTeX XML Cite \textit{C. A. Gunter}, Theor. Comput. Sci. 103, No. 2, 311--334 (1992; Zbl 0764.68092) Full Text: DOI OpenURL
Vassilakis, Spyros Some economic applications of Scott domains. (English) Zbl 0778.90095 Math. Soc. Sci. 24, No. 2-3, 173-208 (1992). MSC: 91A12 18A22 68Q55 06B35 PDF BibTeX XML Cite \textit{S. Vassilakis}, Math. Soc. Sci. 24, No. 2--3, 173--208 (1992; Zbl 0778.90095) Full Text: DOI OpenURL
Cardone, Felice Recursive types for Fun. (English) Zbl 0746.68018 Theor. Comput. Sci. 83, No. 1, 29-56 (1991). MSC: 68N15 03B40 68N01 PDF BibTeX XML Cite \textit{F. Cardone}, Theor. Comput. Sci. 83, No. 1, 29--56 (1991; Zbl 0746.68018) Full Text: DOI OpenURL
Gunter, Carl A.; Jung, Achim Coherence and consistency in domains. (English) Zbl 0686.68062 J. Pure Appl. Algebra 63, No. 1, 49-66 (1990). MSC: 68Q55 18D15 PDF BibTeX XML Cite \textit{C. A. Gunter} and \textit{A. Jung}, J. Pure Appl. Algebra 63, No. 1, 49--66 (1990; Zbl 0686.68062) Full Text: DOI OpenURL