المؤلفون: Baltag, Alexandru, Smets, Sonja

مصطلحات موضوعية: Quantum Physics, Mathematics - Logic, 81P10, F.4

الوصول الحر: http://arxiv.org/abs/2307.01713Test

المؤلفون: Baltag, Alexandru, van Benthem, Johan, Li, Dazhu

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

الوصول الحر: http://arxiv.org/abs/2204.07839Test

المؤلفون: Baltag, Alexandru, Moss, Lawrence S., Solecki, Slawomir

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B42, 68T27, I.2.4

الوصول الحر: http://arxiv.org/abs/2203.06744Test

المؤلفون: Baltag, Alexandru, Smets, Sonja

المصدر: Mathematical Structures in Computer Science, 16(3): p.491-525, 2006

مصطلحات موضوعية: Quantum Physics, Computer Science - Logic in Computer Science, 03G12, 68Q60, 03B45, 81P10, F.3.1, F.3.0, F.4.1

الوصول الحر: http://arxiv.org/abs/2110.01361Test

المؤلفون: Baltag, Alexandru, Smets, Sonja

المصدر: in L. Kovacs and E. Albert (eds.), LPAR23 proceedings of the International Conference on Logic for Programming AI and Reasoning, EPiC Series in Computing, Volume 73, pp 90-110, 2020

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B42, 03B45, 68T27, F.4

الوصول الحر: http://arxiv.org/abs/2109.07255Test

المؤلفون: Baltag, Alexandru, Smets, Sonja

المصدر: in P. Sellinger (ed.), Proceedings of the 2nd International Workshop on Quantum Programming Languages, TUCS General Publication 33:39-56, Turku Center for Computer Science, 2004

مصطلحات موضوعية: Quantum Physics, Computer Science - Logic in Computer Science, 03G12, 81P10, F.3, F.4

الوصول الحر: http://arxiv.org/abs/2109.06792Test

المؤلفون: Baltag, Alexandru, Bezhanishvili, Nick, Fernández-Duque, David

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

الوصول الحر: http://arxiv.org/abs/2105.08231Test

المؤلفون: Baltag, Alexandru, van Benthem, Johan

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B45, F.4.1

العلاقة: http://arxiv.org/abs/2401.06962Test

الإتاحة: http://arxiv.org/abs/2401.06962Test

المؤلفون: Baltag, Alexandru, van Benthem, Johan

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B45, F.4.1

الوصول الحر: http://arxiv.org/abs/2103.14946Test

المؤلفون: Baltag, Alexandru, Li, Dazhu, Pedersen, Mina Young

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

الوصول الحر: http://arxiv.org/abs/1909.08559Test