×

Found 227 Documents (Results 1–100)

100
MathJax

Quotient monoids and concurrent behaviours. (English) Zbl 1236.68193

Martín-Vide, Carlos (ed.), Scientific applications of language methods. London: Imperial College Press (ISBN 978-1-84816-544-1/hbk; 978-1-84816-545-8/ebook). Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory 2, 313-385 (2011).
MSC:  68Q85 68M14 68Q45
PDF BibTeX XML Cite

Some properties about \(L\omega \)-quotient spaces and \(L\omega \)-product spaces. (English) Zbl 1253.54013

Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 545-552 (2010).
MSC:  54A40
PDF BibTeX XML Cite
Full Text: DOI

CR deformation of cyclic quotient surface singularities. (English) Zbl 1228.32030

Fukui, Toshizumi (ed.) et al., The Japanese-Australian workshop on real and complex singularities, JARCS III, The University of Sydney, Sydney, Australia, September 15–18, 2009. Canberra: Australian National University, Centre for Mathematics and its Applications (ISBN 0-7315-5207-5). Proceedings of the Centre for Mathematics and its Applications, Australian National University 43, 55-65 (2010).
PDF BibTeX XML Cite

The Best rank-\((R_1,R_2,R_3)\) approximation of tensors by means of a geometric Newton method. (English) Zbl 1167.65363

Simos, Theodore E. (ed.) et al., Numerical analysis and applied mathematics. International conference on numerical analysis and applied mathematics 2008, Psalidi, Kos, Greece, 16–20 September 2008. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0576-9/hbk). AIP Conference Proceedings 1048, 274-277 (2008).
MSC:  65F30 15A72 65F20
PDF BibTeX XML Cite

Modelling concurrency with quotient monoids. (English) Zbl 1143.68486

van Hee, Kees M. (ed.) et al., Applications and theory of Petri nets. 29th international conference, PETRI NETS 2008, Xi’an, China, June 23–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68745-0/pbk). Lecture Notes in Computer Science 5062, 251-269 (2008).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

The ramifications of a shift by 2. (English) Zbl 1228.11145

Akiyama, Shigeki (ed.) et al., Probability and number theory – Kanazawa 2005. Proceedings of the international conference on probability and number theory, Kanazawa, Japan, June 20–24, 2005. Tokyo: Mathematical Society of Japan (ISBN 978-4-931469-43-3/hbk). Adv. Stud. Pure Math. 49, 69-77 (2007).
MSC:  11N05 11N99
PDF BibTeX XML Cite

Quotients over minimal type theory. (English) Zbl 1151.03032

Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 517-531 (2007).
MSC:  03F65 03F35 03G30
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification