المؤلفون: Adámek, Jiří, Dostál, Matěj, Velebil, Jiří

مصطلحات موضوعية: Mathematics - Category Theory

URL الوصول: http://arxiv.org/abs/2301.05730

المؤلفون: Adámek, Jiří, Dostál, Matěj, Velebil, Jiří

مصطلحات موضوعية: Mathematics - Category Theory

URL الوصول: http://arxiv.org/abs/2301.01034

المؤلفون: Dostal, Matej, Sadrzadeh, Mehrnoosh, Wijnholds, Gijs

المصدر: In: Mojtahedi M., Rahman S., Zarepour M.S. (eds) Mathematics, Logic, and their Philosophies. Logic, Epistemology, and the Unity of Science, vol 49, pp 135-160 Springer, 2021

مصطلحات موضوعية: Computer Science - Computation and Language, I.2.7

URL الوصول: http://arxiv.org/abs/2109.11227

المؤلفون: Bílková, Marta, Dostál, Matěj

المصدر: Logical Methods in Computer Science, Volume 18, Issue 3 (August 9, 2022) lmcs:5158

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1901.06547

المؤلفون: Adámek, Jiří, Dostál, Matěj, Velebil, Jiří

المساهمون: Jiří Adámek and Matěj Dostál and Jiří Velebil

مصطلحات موضوعية: quantitative algebras, ultra-quantitative algebras, strongly finitary monads, varieties

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 270, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.10

الاتاحة: https://doi.org/10.4230/LIPIcs.CALCO.2023.10
https://nbn-resolving.org/urn:nbn:de:0030-drops-188078
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.10

المؤلفون: Dostál, Matěj

Thesis Advisors: Červinková Poesová, Kristýna, Pípalová, Renata

مصطلحات موضوعية: ne otázka, intonace, funkce, conducive and genuine question, function, ano, základní kontura, ověřovací a upřímná otázka, default contour, intonation, yes, no question

الاتاحة: http://www.nusl.cz/ntk/nusl-344357

المؤلفون: Dostál, Matěj

مصطلحات موضوعية: Mathematics - Category Theory

URL الوصول: http://arxiv.org/abs/1707.04074

المؤلفون: Dostál, Matěj

مصطلحات موضوعية: Mathematics - Category Theory

URL الوصول: http://arxiv.org/abs/1509.00763

المؤلفون: Dostál, Matěj, Velebil, Jiří

مصطلحات موضوعية: Mathematics - Category Theory

URL الوصول: http://arxiv.org/abs/1405.3090

المؤلفون: Jiří Adámek and Matěj Dostál and Jiří Velebil, Adámek, Jiří, Dostál, Matěj, Velebil, Jiří

مصطلحات الفهرس: quantitative algebras, ultra-quantitative algebras, strongly finitary monads, varieties, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.10
Is Part Of LIPIcs, Volume 270, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)

المؤلفون: Adámek, Jiří, Dostál, Matěj, Velebil, Jiří

مصطلحات موضوعية: FOS: Mathematics, Category Theory (math.CT), Mathematics - Category Theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20d31643ee52783a916f64bbbf44c27b
http://arxiv.org/abs/2301.05730

المؤلفون: Dostal, Matej, Sadrzadeh, Mehrnoosh

مصطلحات موضوعية: Natural language, Many valued relations, Vector space semantics, Categorical compositional distributional semantics

Relation: EECSRR;EECSRR-16-04; http://qmro.qmul.ac.uk/xmlui/handle/123456789/17382

الاتاحة: http://qmro.qmul.ac.uk/xmlui/handle/123456789/17382

المؤلفون: Dostal, Matej

المصدر: World Maritime University Dissertations

وصف الملف: application/pdf

Relation: https://commons.wmu.se/all_dissertations/1254; https://commons.wmu.se/cgi/viewcontent.cgi?article=2253&context=all_dissertations

الاتاحة: https://commons.wmu.se/all_dissertations/1254
https://commons.wmu.se/cgi/viewcontent.cgi?article=2253&context=all_dissertations

المؤلفون: Bílková, Marta, Dostál, Matěj

المصدر: Logic, Language, Information, and Computation ; Lecture Notes in Computer Science ; page 109-124 ; ISSN 0302-9743 1611-3349 ; ISBN 9783662529201 9783662529218

الاتاحة: http://dx.doi.org/10.1007/978-3-662-52921-8_8
http://link.springer.com/content/pdf/10.1007/978-3-662-52921-8_8

المؤلفون: Bílková, Marta, Dostál, Matěj

المصدر: Algebra and Coalgebra in Computer Science ; Lecture Notes in Computer Science ; page 66-79 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642402050 9783642402067

الاتاحة: http://dx.doi.org/10.1007/978-3-642-40206-7_7
http://link.springer.com/content/pdf/10.1007/978-3-642-40206-7_7

المؤلفون: Dostál, Matĕj, Velebil, Jiří

المصدر: Applied Categorical Structures ; volume 24, issue 6, page 825-844 ; ISSN 0927-2852 1572-9095

الاتاحة: http://dx.doi.org/10.1007/s10485-015-9406-y
http://link.springer.com/content/pdf/10.1007/s10485-015-9406-y.pdf
http://link.springer.com/article/10.1007/s10485-015-9406-y/fulltext.html
http://link.springer.com/content/pdf/10.1007/s10485-015-9406-y

المؤلفون: Dostál, Matěj

المساهمون: Červinková Poesová, Kristýna, Pípalová, Renata

مصطلحات موضوعية: intonace, základní kontura, ano, ne otázka, ověřovací a upřímná otázka, funkce, intonation, default contour, yes, no question, conducive and genuine question, function

وصف الملف: application/pdf

Relation: http://hdl.handle.net/20.500.11956/74983; 163233; 002090339; 990020903390106986

الاتاحة: https://hdl.handle.net/20.500.11956/74983

المؤلفون: Dostál, Matěj

المساهمون: Červinková Poesová, Kristýna, Matuchová, Klára

مصطلحات موضوعية: rytmus, function words, Czech learners, samohlásková redukce, čeští studenti, vowel reduction, rhythm, weak forms, slabé formy, funkční slova

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::beb41c9b2ca70aa5746c1438b3a797d6
http://www.nusl.cz/ntk/nusl-496138

المؤلفون: Dostál, Matěj

المساهمون: Červinková Poesová, Kristýna, Matuchová, Klára

مصطلحات موضوعية: slabé formy, funkční slova, rytmus, samohlásková redukce, čeští studenti, weak forms, function words, vowel reduction, rhythm, Czech learners

وصف الملف: application/pdf; application/octet-stream

Relation: http://hdl.handle.net/20.500.11956/52292; 132079; 001602702; 990016027020106986

الاتاحة: https://hdl.handle.net/20.500.11956/52292

المؤلفون: DOSTÁL, MATĚJ¹

المصدر: Theory & Applications of Categories. 2016, Vol. 31 Issue 4, p73-100. 28p.

مصطلحات موضوعية: *BIRKHOFF'S theorem (Relativity), *MATHEMATIC morphism, *MONADS (Mathematics), *FUNCTOR theory, *ALGEBRA