×

Found 49 Documents (Results 1–49)

100
MathJax

Substitution property for the ring of continuous rational functions. (English) Zbl 1441.14190

Ishikawa, Masaharu (ed.) et al., Singularities – Kagoshima 2017. Proceedings of the 5th Franco-Japanese-Vietnamese symposium on singularities, Kagoshima, Japan, October 27 – November 3, 2017. Hackensack, NJ: World Scientific. 71-93 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

An application of clasp in the study of logics. (English) Zbl 1327.68069

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 278-283 (2011).
MSC:  68N17 03B50 03B53
PDF BibTeX XML Cite
Full Text: DOI

Power-substitution and exchange rings. (English) Zbl 1121.16007

Chen, J.L. (ed.) et al., Advances in ring theory. Proceedings of the 4th China-Japan-Korea international conference, Nanjing, China, June 24–28, 2004. Hackensack, NJ: World Scientific (ISBN 981-256-425-X). 251-262 (2005).
PDF BibTeX XML Cite

On the simple substitution property for superintuitionistic propositional logics and its relation to the separability property. (English. Russian original) Zbl 1071.03016

Izv. Math. 67, No. 2, 377-404 (2003); translation from Izv. Ross. Akad. Nauk Ser. Mat. 67, No. 2, 181-210 (2003).
MSC:  03B55
PDF BibTeX XML Cite
Full Text: DOI

Power-substitution and cancellation in the class of Abelian groups. (English. Russian original) Zbl 0574.20043

Mosc. Univ. Math. Bull. 39, No. 6, 67-71 (1984); translation from Vestn. Mosk. Univ., Ser. I 1984, No. 6, 46-49 (1984).
Reviewer: G.Călugăreanu
PDF BibTeX XML Cite

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Year of Publication

all top 3

Classification