Wilhelm, Isaac The representation of belief. (English) Zbl 1436.03118 J. Philos. Log. 47, No. 4, 715-732 (2018). MSC: 03B42 03A05 PDF BibTeX XML Cite \textit{I. Wilhelm}, J. Philos. Log. 47, No. 4, 715--732 (2018; Zbl 1436.03118) Full Text: DOI
Haeusler, Edward Hermann; Ayala-Rincón, Mauricio On the computability of relations on \(\lambda \)-terms and Rice’s theorem – the case of the expansion problem for explicit substitutions. (English) Zbl 1406.03040 Pardo, Alberto (ed.) et al., LATIN 2014: theoretical informatics. 11th Latin American symposium, Montevideo, Uruguay, March 31 – April 4, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54422-4/pbk). Lecture Notes in Computer Science 8392, 202-213 (2014). MSC: 03B40 PDF BibTeX XML Cite \textit{E. H. Haeusler} and \textit{M. Ayala-Rincón}, Lect. Notes Comput. Sci. 8392, 202--213 (2014; Zbl 1406.03040) Full Text: DOI
Treutlein, Jaron Lattice polytopes of degree 2. (English) Zbl 1194.52014 J. Comb. Theory, Ser. A 117, No. 3, 354-360 (2010). Reviewer: Oleg Karpenkov (Graz) MSC: 52B20 PDF BibTeX XML Cite \textit{J. Treutlein}, J. Comb. Theory, Ser. A 117, No. 3, 354--360 (2010; Zbl 1194.52014) Full Text: DOI arXiv
Pach, János; Pinchasi, Rom; Sharir, Micha Solution of Scott’s problem on the number of directions determined by a point set in 3-space. (English) Zbl 1376.52031 Proceedings of the 20th annual symposium on computational geometry, SCG/SoCG 2004, Brooklyn, NY, USA, June 8–11, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-885-7). 76-85 (2004). MSC: 52C10 52C35 PDF BibTeX XML Cite \textit{J. Pach} et al., in: Proceedings of the 20th annual symposium on computational geometry, SCG/SoCG 2004, Brooklyn, NY, USA, June 8--11, 2004. New York, NY: Association for Computing Machinery (ACM). 76--85 (2004; Zbl 1376.52031) Full Text: DOI
Müller, Olaf; Nipkow, Tobias; von Oheimb, David; Slotosch, Oscar HOLCF=HOL+LCF. (English) Zbl 0933.03028 J. Funct. Program. 9, No. 2, 191-223 (1999). MSC: 03B70 68N18 68T15 68Q55 PDF BibTeX XML Cite \textit{O. Müller} et al., J. Funct. Program. 9, No. 2, 191--223 (1999; Zbl 0933.03028) Full Text: DOI
Velebil, Jiří Categorical generalization of a universal domain. (English) Zbl 0937.18002 Appl. Categ. Struct. 7, No. 1-2, 209-226 (1999). Reviewer: J.Koslowski (Braunschweig) MSC: 18B15 18B35 PDF BibTeX XML Cite \textit{J. Velebil}, Appl. Categ. Struct. 7, No. 1--2, 209--226 (1999; Zbl 0937.18002) Full Text: DOI
Motohashi, Nobuyoshi A remark on Africk’s paper on Scott’s interpolation theorem for \(L_{\omega_1\omega}\). (English) Zbl 0404.03024 J. Symb. Log. 44, 32 (1979). MSC: 03C75 03B10 PDF BibTeX XML Cite \textit{N. Motohashi}, J. Symb. Log. 44, 32 (1979; Zbl 0404.03024) Full Text: DOI