×

Found 85 Documents (Results 1–85)

100
MathJax

Models and termination of proof reduction in the \(\lambda\Pi\)-calculus modulo theory. (English) Zbl 1442.03009

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 109, 14 p. (2017).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI arXiv

On Sims’ presentation for Lyons’ simple group. (English) Zbl 0936.20012

Dräxler, P. (ed.) et al., Computational methods for representations of groups and algebras. Proceedings of the Euroconference in Essen, Germany, April 1-5, 1997. Basel: Birkhäuser. Prog. Math. 173, 235-240 (1999).
MSC:  20D08 20F05 20B40
PDF BibTeX XML Cite

Partial functions in an impredicative simple theory of types. (English) Zbl 0931.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, 186-201 (1999).
MSC:  03B35 03B15 03B40 03F03
PDF BibTeX XML Cite

Construction of large permutation representations for matrix groups. (English) Zbl 0936.20001

Krause, Egon (ed.) et al., High performance computing in science and engineering ’98. Transactions of the High Performance Computing Center Stuttgart (HLRS) 1998. 1st workshop, Stuttgart, Germany, June 22-24, 1998. Berlin: Springer. 430-452 (1999).
MSC:  20B40 20D08
PDF BibTeX XML Cite

A contribution to the revision project of the sporadic groups: Lyons’ simple group \(Ly\). (English) Zbl 0896.20013

Vorlesungen aus dem Fachbereich Mathematik der Universität Essen. 26. Essen: Univ. Essen, FB Mathematik, 161 p. (1998).
MSC:  20D08 20B40 20D05 20C40
PDF BibTeX XML Cite

The study of \(J_ 4\) via the theory of uniqueness systems. (English) Zbl 0806.20016

Liebeck, Martin (ed.) et al., Groups, combinatorics and geometry. Proceedings of the L.M.S. Durham symposium, held July 5-15, 1990 in Durham, UK. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 165, 12-21 (1992).
MSC:  20D08
PDF BibTeX XML Cite

A new method of asymptotic analysis of simple linear rank statistics. (English) Zbl 0773.62033

New trends in probability and statistics. Vol. 1, Proc. 23th Bakuriani Colloq. in Honour of Yu. V. Prokhorov, Bakuriani/USSR 1990, 553-566 (1991).
MSC:  62G20 62G10
PDF BibTeX XML Cite

Mathematical intuitionism. Introduction to proof theory. Transl. from the Russian by E. Mendelson, ed. by Ben Silver. (English) Zbl 0634.03054

Translations of Mathematical Monographs, 67. Providence, RI: American Mathematical Society (AMS). IX, 228 p.; $ 75.00 (1988).
Reviewer: H.Nishimura
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software