Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Paraxial Geometric Optics in 3D through Point-based Geometric Algebra

  • 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

تفاصيل العنوان

×
Academic Journal

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  • 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

تفاصيل العنوان

×
Academic Journal

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests

  • 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

تفاصيل العنوان

×
Academic Journal

Imperative Process Algebra with Abstraction

  • Source: Middelburg , C A 2022 , ' Imperative Process Algebra with Abstraction ' , Scientific Annals of Computer Science , vol. 32 , no. 1 , pp. 137-179 .

تفاصيل العنوان

×
Academic Journal

Program Algebra for Random Access Machine Programs

  • Source: Middelburg , C A 2022 , ' Program Algebra for Random Access Machine Programs ' , Scientific Annals of Computer Science , vol. 32 , no. 2 , pp. 285-319 .

تفاصيل العنوان

×
Academic Journal

On the stress tensor light-ray operator algebra

  • 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 ,

تفاصيل العنوان

×
Academic Journal

Constructing illoyal algebra-valued models of set theory

  • Source: Löwe , B , Paßmann , R & Tarafder , S 2021 , ' Constructing illoyal algebra-valued models of set theory ' , Algebra Universalis , vol.

تفاصيل العنوان

×
Academic Journal

On the Maurer-Cartan simplicial set of a complete curved A ∞ -algebra

  • 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 ,

تفاصيل العنوان

×
Academic Journal

Conjectures on hidden onsager algebra symmetries in interacting quantum lattice models

  • Source: Miao , Y 2021 , ' Conjectures on hidden onsager algebra symmetries in interacting quantum lattice models ' , SciPost Physics , vol. 11 , no. 3 , 066 .

تفاصيل العنوان

×
Report

Imperative process algebra with abstraction

  • Source: Middelburg , C A 2021 ' Imperative process algebra with abstraction ' v3 edn . https://doi.org/10.48550/arXiv.2103.07863

تفاصيل العنوان

×
  • 1-10 ل  263 نتائج ل ""ÁLGEBRA""