Searching for "Algebra and Models." – sorted by Relevance.
1,844 documents found, showing 1 through 10.
Next 10 →
-
Algebraic Models of Correctness for Microprocessors
- …Algebraic Models of Correctness for Microprocessors A. C. J. Fox and N. A. Harman Department…
- Cited by 14 (1 self) – Add To MetaCart
-
Virasoro Algebra and ...-model
- … modified form of the Virasoro algebra for the O(N) oe-model, for which instead of the usual central charge…
- Add To MetaCart
-
On The Algebraic Models Of Lambda Calculus
- …ON THE ALGEBRAIC MODELS OF LAMBDA CALCULUS Antonino Salibra Dipartimento di Informatica Universit…
- Cited by 12 (8 self) – Add To MetaCart
-
Algebraic Models for Contextual Nets
- …Algebraic Models for Contextual Nets Roberto Bruni 1 and Vladimiro Sassone 2 1 Dipartimento di…
- Cited by 8 (4 self) – Add To MetaCart
-
Cryptographic Semantics for the Algebraic Models
- … Cryptographic Semantics for the Algebraic Models André Adelsbach and Michael Steiner (Editors) Universität des…
- Add To MetaCart
-
Algorithmic Algebraic Model Checking II:
- …Algorithmic Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its…
- Add To MetaCart
-
An Algebraic Model of Correctness for Superscalar Microprocessors
- …An Algebraic Model of Correctness for Superscalar Microprocessors A. C. J. Fox and N. A. Harman…
- Cited by 1 (1 self) – Add To MetaCart
-
Algorithmic Algebraic Model Checking I:
- …Algorithmic Algebraic Model Checking I: Challenges from Systems Biology ⋆ C. Piazza 1 , M…
- Add To MetaCart
-
Algebraic Models of Computation and Interpolation for Algebraic Proof Systems
- …Algebraic models of computation and interpolation for algebraic proof systems Pavel Pudl'ak and Jir…
- Cited by 22 (2 self) – Add To MetaCart
-
Structure Exploiting Tool in Algebraic Modeling Languages
- …Structure Exploiting Tool in Algebraic Modeling Languages Emmanuel Fragni`ere y , Jacek Gondzio…
- Cited by 14 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
