Item request has been placed!
×
Item request cannot be made.
×
![loading](/sites/all/modules/hf_eds/images/loading.gif)
Processing Request
Item request has been placed!
×
Item request cannot be made.
×
![loading](/sites/all/modules/hf_eds/images/loading.gif)
Processing Request
-
Source:
Dorst , L 2024 , Paraxial Geometric Optics in 3D through Point-based Geometric Algebra . in B Sheng , L Bi , J Kim , N Magnenat-Thalmann & D Thalmann (eds) , Advances in
-
تفاصيل العنوان
-
Source:
Kappé , T 2023 , Completeness and the Finite Model Property for Kleene Algebra, Reconsidered . in R Glück , L Santocanale & M Winter (eds) , Relational and Algebraic
-
تفاصيل العنوان
-
Source:
Schmid , T , Kappé , T & Silva , A 2023 , A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests . in T Wies (ed.) , Programming Languages and
-
تفاصيل العنوان
-
Source:
Middelburg , C A 2022 , ' Imperative Process Algebra with Abstraction ' , Scientific Annals of Computer Science , vol. 32 , no. 1 , pp. 137-179 .
-
تفاصيل العنوان
-
Source:
Middelburg , C A 2022 , ' Program Algebra for Random Access Machine Programs ' , Scientific Annals of Computer Science , vol. 32 , no. 2 , pp. 285-319 .
-
تفاصيل العنوان
-
Source:
Belin , A , Hofman , D M , Mathys , G & Walters , M T 2021 , ' On the stress tensor light-ray operator algebra ' , Journal of High Energy Physics , vol. 2021 , no. 5 ,
-
تفاصيل العنوان
-
Source:
Löwe , B , Paßmann , R & Tarafder , S 2021 , ' Constructing illoyal algebra-valued models of set theory ' , Algebra Universalis , vol.
-
تفاصيل العنوان
-
Source:
de Kleijn , N & Wierstra , F 2021 , ' On the Maurer-Cartan simplicial set of a complete curved A ∞ -algebra ' , Journal of Homotopy and Related Structures , vol. 16 ,
-
تفاصيل العنوان
-
Source:
Miao , Y 2021 , ' Conjectures on hidden onsager algebra symmetries in interacting quantum lattice models ' , SciPost Physics , vol. 11 , no. 3 , 066 .
-
تفاصيل العنوان
-
Source:
Middelburg , C A 2021 ' Imperative process algebra with abstraction ' v3 edn . https://doi.org/10.48550/arXiv.2103.07863
-
تفاصيل العنوان