Kim, Sungduk; Chen, Ming-Hui; Ibrahim, Joseph; Shah, Arvind; Lin, Jianxin Bayesian flexible hierarchical skew heavy-tailed multivariate meta regression models for individual patient data with applications. (English) Zbl 07342257 Stat. Interface 13, No. 4, 485-500 (2020). MSC: 62-XX PDF BibTeX XML Cite \textit{S. Kim} et al., Stat. Interface 13, No. 4, 485--500 (2020; Zbl 07342257) Full Text: DOI OpenURL
Pradhan, Parthapratim Circular geodesics in tidal-charged black hole. (English) Zbl 1381.83078 Int. J. Geom. Methods Mod. Phys. 15, No. 1, Article ID 1850011, 26 p. (2018). MSC: 83C57 53C22 34D08 83C10 PDF BibTeX XML Cite \textit{P. Pradhan}, Int. J. Geom. Methods Mod. Phys. 15, No. 1, Article ID 1850011, 26 p. (2018; Zbl 1381.83078) Full Text: DOI arXiv OpenURL
Pradhan, Parthapratim Circular orbits in the Taub-NUT and massless Taub-NUT spacetime. (English) Zbl 1376.83013 Int. J. Geom. Methods Mod. Phys. 14, No. 7, Article ID 1750101, 30 p. (2017). MSC: 83C10 53C80 83C57 83C40 PDF BibTeX XML Cite \textit{P. Pradhan}, Int. J. Geom. Methods Mod. Phys. 14, No. 7, Article ID 1750101, 30 p. (2017; Zbl 1376.83013) Full Text: DOI arXiv OpenURL
Ferreira, Guillermo; Navarrete, Jean Paul; Castro, Luis M.; de Castro, Mário Conditional predictive inference for beta regression model with autoregressive errors. (English) Zbl 1364.62172 Polpo, Adriano (ed.) et al., Interdisciplinary Bayesian statistics. EBEB 2014. Proceedings of the 12th Brazilian meeting on Bayesian statistics, Atibaia, Brazil, March 10–14, 2014. Cham: Springer (ISBN 978-3-319-12453-7/hbk; 978-3-319-12454-4/ebook). Springer Proceedings in Mathematics & Statistics 118, 357-366 (2015). MSC: 62J05 62F15 PDF BibTeX XML Cite \textit{G. Ferreira} et al., Springer Proc. Math. Stat. 118, 357--366 (2015; Zbl 1364.62172) Full Text: DOI OpenURL
Pradhan, Parthapratim Horizon straddling ISCOs in spherically symmetric string black holes. (English) Zbl 1332.83065 Int. J. Mod. Phys. D 24, No. 11, Article ID 1550086, 16 p. (2015). MSC: 83C57 83E30 83C10 PDF BibTeX XML Cite \textit{P. Pradhan}, Int. J. Mod. Phys. D 24, No. 11, Article ID 1550086, 16 p. (2015; Zbl 1332.83065) Full Text: DOI arXiv OpenURL
Pradhan, Parthapratim Circular geodesics in the Kerr-Newman-Taub-NUT spacetime. (English) Zbl 1327.83054 Classical Quantum Gravity 32, No. 16, Article ID 165001, 30 p. (2015). MSC: 83C10 83C57 53Z05 83C20 PDF BibTeX XML Cite \textit{P. Pradhan}, Classical Quantum Gravity 32, No. 16, Article ID 165001, 30 p. (2015; Zbl 1327.83054) Full Text: DOI arXiv OpenURL
Nolan, Brien C. Particle and photon orbits in McVittie spacetimes. (English) Zbl 1306.83056 Classical Quantum Gravity 31, No. 23, Article ID 235008, 45 p. (2014). MSC: 83C75 83F05 83C10 85A15 PDF BibTeX XML Cite \textit{B. C. Nolan}, Classical Quantum Gravity 31, No. 23, Article ID 235008, 45 p. (2014; Zbl 1306.83056) Full Text: DOI arXiv OpenURL
Beauxis, Romain; Mimram, Samuel A non-standard semantics for Kahn networks in continuous time. (English) Zbl 1247.68182 Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 35-50, electronic only (2011). MSC: 68Q85 03H05 06B35 18B20 PDF BibTeX XML Cite \textit{R. Beauxis} and \textit{S. Mimram}, LIPIcs -- Leibniz Int. Proc. Inform. 12, 35--50 (2011; Zbl 1247.68182) Full Text: DOI arXiv Link OpenURL
Manzonetto, Giulio A general class of models of \(\mathcal{H}^*\). (English) Zbl 1250.03025 Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 574-586 (2009). MSC: 03B40 06B35 18D15 PDF BibTeX XML Cite \textit{G. Manzonetto}, Lect. Notes Comput. Sci. 5734, 574--586 (2009; Zbl 1250.03025) Full Text: DOI OpenURL
Adámek, Jiří; Bloom, Stephen L.; Milius, Stefan On algebras with iteration. (English) Zbl 1157.18004 J. Log. Comput. 18, No. 6, 1047-1085 (2008). Reviewer: Václav Koubek (Praha) MSC: 18C50 68Q55 68Q65 PDF BibTeX XML Cite \textit{J. Adámek} et al., J. Log. Comput. 18, No. 6, 1047--1085 (2008; Zbl 1157.18004) Full Text: DOI Link OpenURL
Yin, Gousheng; Ibrahim, Joseph G. Bayesian transformation hazard models. (English) Zbl 1268.62034 Rojo, Javier (ed.), Optimality. The second Erich L. Lehmann symposium. Selected papers based on the presentations at the symposium, Houston, TX, USA, May 19–22, 2004. Beachwood, OH: IMS, Institute of Mathematical Statistics (ISBN 978-0-940600-66-9/pbk). Institute of Mathematical Statistics Lecture Notes - Monograph Series 49, 170-182 (2006). MSC: 62F15 62N02 62F30 PDF BibTeX XML Cite \textit{G. Yin} and \textit{J. G. Ibrahim}, IMS Lect. Notes, Monogr. Ser. 49, 170--182 (2006; Zbl 1268.62034) Full Text: arXiv OpenURL
Normann, Dag On sequential functionals of type 3. (English) Zbl 1097.03040 Math. Struct. Comput. Sci. 16, No. 2, 279-289 (2006). MSC: 03D65 03B40 06B35 68Q55 PDF BibTeX XML Cite \textit{D. Normann}, Math. Struct. Comput. Sci. 16, No. 2, 279--289 (2006; Zbl 1097.03040) Full Text: DOI OpenURL
Spreen, Dieter The largest Cartesian closed category of domains, considered constructively. (English) Zbl 1080.03032 Math. Struct. Comput. Sci. 15, No. 2, 299-321 (2005). MSC: 03D45 06B35 18D15 68Q55 PDF BibTeX XML Cite \textit{D. Spreen}, Math. Struct. Comput. Sci. 15, No. 2, 299--321 (2005; Zbl 1080.03032) Full Text: DOI OpenURL
Dey, Dipak K.; Bhaumik, Amitabha Dynamic multivariate logistic regression model for correlated binary response data. (English) Zbl 1174.62481 Stat. Methods 5, No. 2, 70-86 (2003). MSC: 62M10 62F15 62J12 65C40 91B24 PDF BibTeX XML Cite \textit{D. K. Dey} and \textit{A. Bhaumik}, Stat. Methods 5, No. 2, 70--86 (2003; Zbl 1174.62481) OpenURL
Davey, B. A.; Priestley, H. A. Introduction to lattices and order. 2nd ed. (English) Zbl 1002.06001 Cambridge: Cambridge University Press. xii, 298 p. (2002). Reviewer: Vaclav Slavic (Praha) MSC: 06-01 PDF BibTeX XML Cite \textit{B. A. Davey} and \textit{H. A. Priestley}, Introduction to lattices and order. 2nd ed. Cambridge: Cambridge University Press (2002; Zbl 1002.06001) OpenURL
Kou, Hui; Luo, Maokang Fixed points of Scott continuous self-maps. (English) Zbl 1004.06008 Sci. China, Ser. A 44, No. 11, 1433-1438 (2001). MSC: 06B35 PDF BibTeX XML Cite \textit{H. Kou} and \textit{M. Luo}, Sci. China, Ser. A 44, No. 11, 1433--1438 (2001; Zbl 1004.06008) Full Text: DOI OpenURL
Sinha, Debajyoti; Chen, Ming-Hui; Ghosh, Sujit K. Bayesian analysis and model selection for interval-censored survival data. (English) Zbl 1059.62715 Biometrics 55, No. 2, 585-590 (1999). MSC: 62P10 62F15 62N01 PDF BibTeX XML Cite \textit{D. Sinha} et al., Biometrics 55, No. 2, 585--590 (1999; Zbl 1059.62715) Full Text: DOI OpenURL
Mislove, Michael Using duality to solve domain equations. (English) Zbl 0911.68132 Brookes, S. (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 13th annual conference, MFPS, Carnegie Mellon Univ., Pittsburgh, PA, USA, March 23–26, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 6, 17 p. (1997). MSC: 68Q55 PDF BibTeX XML Cite \textit{M. Mislove}, in: Mathematical foundations of programming semantics. Proceedings of the 13th annual conference, MFPS, Carnegie Mellon Univ., Pittsburgh, PA, USA, March 23--26, 1997. Amsterdam: Elsevier. 17 p. (1997; Zbl 0911.68132) Full Text: Link OpenURL
Baier, Christel; Majster-Cederbaum, Mila E. Metric semantics from partial order semantics. (English) Zbl 0883.68083 Acta Inf. 34, No. 9, 701-735 (1997). Reviewer: M.E.Majster-Cederbaum (Mannheim) MSC: 68Q55 06B35 68N15 PDF BibTeX XML Cite \textit{C. Baier} and \textit{M. E. Majster-Cederbaum}, Acta Inf. 34, No. 9, 701--735 (1997; Zbl 0883.68083) Full Text: DOI OpenURL
Ramesh, S.; Srinivas, Bommadevara N. A direct characterization of completion. (English) Zbl 0872.68105 Theor. Comput. Sci. 154, No. 2, 379-385 (1996). MSC: 68Q55 06B35 PDF BibTeX XML Cite \textit{S. Ramesh} and \textit{B. N. Srinivas}, Theor. Comput. Sci. 154, No. 2, 379--385 (1996; Zbl 0872.68105) Full Text: DOI OpenURL
Liang, Jihua; Liu, Yingming Continuous \(L\)-domains. (English) Zbl 0860.06006 Chin. Ann. Math., Ser. B 17, No. 3, 263-270 (1996). Reviewer: J.Rosický (Brno) MSC: 06B35 68Q55 18D15 PDF BibTeX XML Cite \textit{J. Liang} and \textit{Y. Liu}, Chin. Ann. Math., Ser. B 17, No. 3, 263--270 (1996; Zbl 0860.06006) OpenURL
Adámek, Jiří; Koubek, Václav On the greatest fixed point of a set functor. (English) Zbl 0874.18001 Theor. Comput. Sci. 150, No. 1, 57-75 (1995). MSC: 18B05 68Q55 06A06 18A35 PDF BibTeX XML Cite \textit{J. Adámek} and \textit{V. Koubek}, Theor. Comput. Sci. 150, No. 1, 57--75 (1995; Zbl 0874.18001) Full Text: DOI OpenURL
Amadio, Roberto M. A quick construction of a retraction of all retractions for stable bifinites. (English) Zbl 0828.06002 Inf. Comput. 116, No. 2, 272-274 (1995). Reviewer: R.Maddux (Ames) MSC: 06A99 68Q55 PDF BibTeX XML Cite \textit{R. M. Amadio}, Inf. Comput. 116, No. 2, 272--274 (1995; Zbl 0828.06002) Full Text: DOI Link OpenURL
Mislove, Michael W.; Oles, Frank J. Adjunctions between categories of domains. (English) Zbl 0820.18001 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 22, No. 1-2, 93-116 (1995). Reviewer: A.Maggiolo-Schettini (Pisa) MSC: 18B20 68Q55 18D15 PDF BibTeX XML Cite \textit{M. W. Mislove} and \textit{F. J. Oles}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 22, No. 1--2, 93--116 (1995; Zbl 0820.18001) OpenURL
Baier, Christel; Majster-Cederbaum, Mila E. Denotational semantics in the cpo and metric approach. (English) Zbl 0829.68079 Theor. Comput. Sci. 135, No. 2, 171-220 (1994). MSC: 68Q55 PDF BibTeX XML Cite \textit{C. Baier} and \textit{M. E. Majster-Cederbaum}, Theor. Comput. Sci. 135, No. 2, 171--220 (1994; Zbl 0829.68079) Full Text: DOI OpenURL
Freyd, Peter J. Remarks on algebraically compact categories. (English) Zbl 0803.18002 Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 95-106 (1992). Reviewer: R.H.Street (North Ryde) MSC: 18A25 18D05 18C99 68Q99 06A06 PDF BibTeX XML Cite \textit{P. J. Freyd}, Lond. Math. Soc. Lect. Note Ser. 177, 95--106 (1992; Zbl 0803.18002) OpenURL
Jiang, Ying Scott’s semantics of lambda calculus is incompatible with the existence of a universal retraction. (La sémantique continue du lambda calcul est incompatible avec l’existence d’une rétraction universelle.) (French. English summary) Zbl 0756.03009 C. R. Acad. Sci., Paris, Sér. I 314, No. 10, 779-782 (1992). MSC: 03B40 68Q55 PDF BibTeX XML Cite \textit{Y. Jiang}, C. R. Acad. Sci., Paris, Sér. I 314, No. 10, 779--782 (1992; Zbl 0756.03009) OpenURL
Barr, Michael Algebraically compact functors. (English) Zbl 0777.18005 J. Pure Appl. Algebra 82, No. 3, 211-231 (1992). Reviewer: Y.Diers (Faches-Thumesnil) MSC: 18C99 18A22 PDF BibTeX XML Cite \textit{M. Barr}, J. Pure Appl. Algebra 82, No. 3, 211--231 (1992; Zbl 0777.18005) Full Text: DOI OpenURL
Spencer, Dwight A survey of categorical computation: Fixed points, partiality, combinators, …control? (English) Zbl 0781.18003 Bull. EATCS 43, 285-312 (1991). Reviewer: V.Yu.Sazonov (Pereslavl’-Zalessky) MSC: 18D15 68Q65 18D35 PDF BibTeX XML Cite \textit{D. Spencer}, Bull. EATCS 43, 285--312 (1991; Zbl 0781.18003) OpenURL
Edalat, Abbas; Smyth, Michael B. Categories of information systems. (English) Zbl 0788.18003 Pitt, David H. (ed.) et al., Category theory and computer science. 4th biennial summer conference, Paris, France, September 3-6, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 530, 37-52 (1991). MSC: 18C10 68Q55 06B35 PDF BibTeX XML Cite \textit{A. Edalat} and \textit{M. B. Smyth}, Lect. Notes Comput. Sci. 530, 37--52 (1991; Zbl 0788.18003) OpenURL
Heckmann, Reinhold Lower and upper power domain constructions commute on all cpos. (English) Zbl 0748.68038 Inf. Process. Lett. 40, No. 1, 7-11 (1991). MSC: 68Q55 06B35 PDF BibTeX XML Cite \textit{R. Heckmann}, Inf. Process. Lett. 40, No. 1, 7--11 (1991; Zbl 0748.68038) Full Text: DOI OpenURL
Hyland, J. M. E. First steps in synthetic domain theory. (English) Zbl 0747.18004 Category theory, Proc. Int. Conf., Como/Italy 1990, Lect. Notes Math. 1488, 131-156 (1991). Reviewer: K.I.Rosenthal (Schenectady) MSC: 18B25 68Q55 PDF BibTeX XML Cite \textit{J. M. E. Hyland}, Lect. Notes Math. None, 131--156 (1991; Zbl 0747.18004) OpenURL
Spreen, Dieter A characterization of effective topological spaces. II. (English) Zbl 0736.03013 Topology and category theory in computer science, Proc. Conf., Oxford/UK 1989, 231-255 (1991). Reviewer: M.Zimand (Bucureşti) MSC: 03D45 68Q55 54A99 PDF BibTeX XML Cite \textit{D. Spreen}, in: Topology, computer science, and the mathematics of convergence. . 231--255 (1991; Zbl 0736.03013) OpenURL
Mislove, Michael W. Algebraic posets, algebraic cpo’s and models of concurrency. (English) Zbl 0792.68103 Topology and category theory in computer science, Proc. Conf., Oxford/UK 1989, 75-111 (1991). MSC: 68Q65 68Q55 06B30 68Q10 PDF BibTeX XML Cite \textit{M. W. Mislove}, in: Topology, computer science, and the mathematics of convergence. . 75--111 (1991; Zbl 0792.68103) OpenURL
Mulry, Philip S. Categorical fixed point semantics. (English) Zbl 0751.18007 Theor. Comput. Sci. 70, No. 1, 85-97 (1990). Reviewer: A.Wiweger (Warszawa) MSC: 18D15 68Q55 18D20 18B25 18A23 PDF BibTeX XML Cite \textit{P. S. Mulry}, Theor. Comput. Sci. 70, No. 1, 85--97 (1990; Zbl 0751.18007) Full Text: DOI OpenURL
de Bruin, A.; de Vink, E. P. Retractions in comparing Prolog semantics. (English) Zbl 0734.68062 Mathematical foundations of computer science, Proc. 15th Symp., MFCS’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 180-186 (1990). MSC: 68Q55 68N17 PDF BibTeX XML OpenURL
Kummer, Martin Some applications of computable one-one numberings. (English) Zbl 0714.03038 Arch. Math. Logic 30, No. 4, 219-230 (1990). Reviewer: C.Calude MSC: 03D45 PDF BibTeX XML Cite \textit{M. Kummer}, Arch. Math. Logic 30, No. 4, 219--230 (1990; Zbl 0714.03038) Full Text: DOI OpenURL
Palmgren, Erik; Stoltenberg-Hansen, Viggo Domain interpretations of Martin-Löf’s partial type theory. (English) Zbl 0704.03041 Ann. Pure Appl. Logic 48, No. 2, 135-196 (1990). Reviewer: E.Palmgren MSC: 03F50 03F35 68Q55 03D45 06B35 PDF BibTeX XML Cite \textit{E. Palmgren} and \textit{V. Stoltenberg-Hansen}, Ann. Pure Appl. Logic 48, No. 2, 135--196 (1990; Zbl 0704.03041) Full Text: DOI OpenURL
Pettit, L. I. The conditional predictive ordinate for the normal distribution. (English) Zbl 0699.62031 J. R. Stat. Soc., Ser. B 52, No. 1, 175-184 (1990). MSC: 62F15 62J99 PDF BibTeX XML Cite \textit{L. I. Pettit}, J. R. Stat. Soc., Ser. B 52, No. 1, 175--184 (1990; Zbl 0699.62031) OpenURL
Spreen, Dieter Computable one-to-one enumerations of effective domains. (English) Zbl 0661.03037 Mathematical foundations of programming language semantics, Proc. Workshop, New Orleans/La. 1987, Lect. Notes Comput. Sci. 298, 372-384 (1988). Reviewer: J.Šindelář MSC: 03D45 03D30 PDF BibTeX XML OpenURL
Kamimura, Tsutomu; Tang, Adrian Continuous auxiliary relations. (English) Zbl 0655.06005 Mathematical foundations of programming language semantics, Proc. Workshop, New Orleans/La. 1987, Lect. Notes Comput. Sci. 298, 364-371 (1988). Reviewer: B.Smarda MSC: 06B35 68Q60 PDF BibTeX XML OpenURL
Jung, Achim New results on hierarchies of domains. (English) Zbl 0652.06007 Mathematical foundations of programming language semantics, Proc. Workshop, New Orleans/La. 1987, Lect. Notes Comput. Sci. 298, 303-310 (1988). Reviewer: A.Jung MSC: 06B30 68Q99 68Q60 18D15 PDF BibTeX XML OpenURL
Stoughton, Allen Substitution revisited. (English) Zbl 0651.03008 Theor. Comput. Sci. 59, No. 3, 317-325 (1988). Reviewer: P.Materna MSC: 03B40 68Q60 03B70 PDF BibTeX XML Cite \textit{A. Stoughton}, Theor. Comput. Sci. 59, No. 3, 317--325 (1988; Zbl 0651.03008) Full Text: DOI OpenURL
Main, Michael G. Free constructions of powerdomains. (English) Zbl 0619.68013 Mathematical foundations of programming semantics, Proc. Int. Conf., Manhattan/Kans. 1985, Lect. Notes Comput. Sci. 239, 162-183 (1986). Reviewer: L.Brim MSC: 68Q60 PDF BibTeX XML OpenURL
Kamimura, Tsutomu; Tang, Adrian Retracts of SFP objects. (English) Zbl 0609.68015 Mathematical foundations of programming semantics, Proc. Int. Conf., Manhattan/Kans. 1985, Lect. Notes Comput. Sci. 239, 135-148 (1986). Reviewer: S.Bloom MSC: 68Q60 68Q55 18B35 18D15 06A06 PDF BibTeX XML OpenURL
Spreen, Heinz-Dieter Rekursionstheorie auf Teilmengen partieller Funktionen. (German) Zbl 0616.03026 Mathematisch-Naturwissenschaftliche Fakultät der Rheinisch- Westfälischen Technischen Hochschule Aachen. 194 S. (1985). Reviewer: M.M.Richter MSC: 03D75 03D65 PDF BibTeX XML OpenURL
Berry, G.; Curien, P.-L.; Lévy, J.-J. Full abstraction for sequential languages: the state of the art. (English) Zbl 0604.68033 Algebraic methods in semantics, Semin. Fontainebleau/France 1982, 89-132 (1985). Reviewer: H.J.Schneider MSC: 68Q65 68N01 68Q55 18D15 PDF BibTeX XML OpenURL
Rounds, William C. On the relationships between Scott domains, synchronization trees, and metric spaces. (English) Zbl 0598.68014 Inf. Control 66, 6-28 (1985). Reviewer: E.Fehr and H.Fuss MSC: 68Q60 68N01 PDF BibTeX XML Cite \textit{W. C. Rounds}, Inf. Control 66, 6--28 (1985; Zbl 0598.68014) Full Text: DOI OpenURL
Streicher, Thomas Model theory of denotational semantics. (English) Zbl 0585.68046 Recent trends in data type specification, 3rd Workshop on theory and applications of abstract data types, Bremen/Ger. 1984, Inf.-Fachber. 116, 240-253 (1985). Reviewer: V.Calmatuianu MSC: 68Q65 68N01 68Q60 PDF BibTeX XML OpenURL
Theobald, Konrad R. Eine allgemeine Theorie der Stetigkeit und Berechenbarkeit für natürliche Halbordnungen. (German) Zbl 0576.03030 Fachbereich Mathematik und Informatik der Fernuniversität- Gesamthochschule Hagen. 279 S. (1984). MSC: 03D45 06A06 03D60 PDF BibTeX XML OpenURL
Mulmuley, Ketan The mechanization of existence proofs of recursive predicates. (English) Zbl 0562.68066 Automated deduction, Proc. 7th int. Conf., Napa/Calif. 1984, Lect. Notes Comput. Sci. 170, 460-475 (1984). Reviewer: C.Masalagiu MSC: 68Q55 06B23 68T15 PDF BibTeX XML OpenURL
Kamimura, Tsutomu; Tang, Adrian Total objects of domains. (English) Zbl 0551.68047 Theor. Comput. Sci. 34, No. 1-2, 275-288 (1984). MSC: 03D60 03D45 06B30 06A06 PDF BibTeX XML Cite \textit{T. Kamimura} and \textit{A. Tang}, Theor. Comput. Sci. 34, 275--288 (1984; Zbl 0551.68047) Full Text: DOI OpenURL
Mulmuley, Ketan The mechanization of existence proofs of recursive predicates. (English) Zbl 0546.68067 Automated deduction, Proc. 7th int. Conf., Napa/Calif. 1984, Lect. Notes Comput. Sci. 170, 460-475 (1984). Reviewer: C.Masalagiu MSC: 68Q55 06B23 68T15 PDF BibTeX XML OpenURL
Spreen, Dieter On r.e. inseparability of cpo index sets. (English) Zbl 0545.03026 Logic and machines: decision problems and complexity, Proc. Symp., Münster/Ger. 1983, Lect. Notes Comput. Sci. 171, 103-117 (1984). MSC: 03D45 68Q60 PDF BibTeX XML OpenURL
Larsen, K. G.; Winskel, G. Using information systems to solve recursive domain equations effectively. (English) Zbl 0539.68019 Semantics of data types, Proc. int. Symp., Sophia-Antipolis/France 1984, Lect. Notes Comput. Sci. 173, 109-129 (1984). MSC: 68Q65 03D45 PDF BibTeX XML OpenURL
Nakashima, Hideyuki; Suzuki, Norihisa Data abstraction in Prolog/KR. (English) Zbl 0595.68022 New Generation Comput. 1, 49-62 (1983). MSC: 68P05 PDF BibTeX XML Cite \textit{H. Nakashima} and \textit{N. Suzuki}, New Generation Comput. 1, 49--62 (1983; Zbl 0595.68022) Full Text: DOI OpenURL
Winskel, Glynn Synchronisation trees. (English) Zbl 0584.68085 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 695-711 (1983). Reviewer: B.Wojdyło MSC: 68Q55 18A30 05C05 06A06 08A99 PDF BibTeX XML OpenURL
Weihrauch, K.; Schäfer, G. Admissible representations of effective cpo’s. (English) Zbl 0582.68050 Theor. Comput. Sci. 26, 131-147 (1983). MSC: 68Q55 03D45 06A06 PDF BibTeX XML Cite \textit{K. Weihrauch} and \textit{G. Schäfer}, Theor. Comput. Sci. 26, 131--147 (1983; Zbl 0582.68050) Full Text: DOI OpenURL
Smyth, Michael B. The largest Cartesian closed category of domains. (English) Zbl 0556.68017 Theor. Comput. Sci. 27, 109-119 (1983). Reviewer: M.Eytan MSC: 68Q99 18D15 06B23 68Q55 PDF BibTeX XML Cite \textit{M. B. Smyth}, Theor. Comput. Sci. 27, 109--119 (1983; Zbl 0556.68017) Full Text: DOI OpenURL
Comyn, Gérard Arbres infinitaires. Approximations et propriétés de calculabilité. (French) Zbl 0539.68057 Les arbres en algèbre et en programmation, 7ème Colloq., Lille 1982, 65-81 (1982). MSC: 68R10 03D45 PDF BibTeX XML OpenURL
Scott, Dana S. Domains for denotational semantics. (English) Zbl 0495.68025 Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 577-613 (1982). MSC: 68Q65 68P05 06A12 03B40 18A15 54A05 PDF BibTeX XML OpenURL
Weihrauch, Klaus; Schaefer, Gisela Admissible representations of effective cpo’s. (English) Zbl 0485.68041 Mathematical foundations of computer science 1981, Proc. 10th Symp., Strbske Pleso/Czech. 1981, Lect. Notes Comput. Sci. 118, 544-553 (1981). MSC: 03D60 03D65 06B23 03D45 03D20 PDF BibTeX XML OpenURL
Weihrauch, K.; Schreiber, Ulrich Embedding metric spaces into CPO’s. (English) Zbl 0485.68040 Theor. Comput. Sci. 16, 5-24 (1981). MSC: 03D60 06B23 54E35 PDF BibTeX XML Cite \textit{K. Weihrauch} and \textit{U. Schreiber}, Theor. Comput. Sci. 16, 5--24 (1981; Zbl 0485.68040) Full Text: DOI OpenURL
Weihrauch, Klaus Recursion and complexity theory on cpo’s. (English) Zbl 0464.03041 Theoretical computer science, 5th GI-Conf., Karlsruhe 1981, Lect. Notes Comput. Sci. 104, 196-202 (1981). MSC: 03D75 03D45 03D15 PDF BibTeX XML OpenURL
Josko, Bernhard An effective retract calculus. (English) Zbl 0461.03010 Theoretical computer science, 5th GI-Conf., Karlsruhe 1981, Lect. Notes Comput. Sci. 104, 184-194 (1981). MSC: 03D80 68N01 68Q55 03D20 03D45 PDF BibTeX XML OpenURL
Weihrauch, Klaus Berechenbarkeit auf cpo-s. (Eine Vorlesung ausgearbeitet von Thomas Deil). (German) Zbl 0475.03023 Schr. Inf. Angew. Math., Ber. 63, 101 S. (1980). MSC: 03D75 03D45 03F60 03D60 PDF BibTeX XML OpenURL
Tang, A. Chain properties in Pomega. (English) Zbl 0471.68009 Theor. Comput. Sci. 9, 153-172 (1979). MSC: 68P05 06B99 68Q60 68N01 PDF BibTeX XML Cite \textit{A. Tang}, Theor. Comput. Sci. 9, 153--172 (1979; Zbl 0471.68009) Full Text: DOI OpenURL