Results 81 to 90 of about 77,893 (200)

Polynomial time algorithm for checking strong equivalence of program

Труды Института системного программирования РАН, 2018
Strong (logic&term) equivalence of programs is the weakest decidable equivalence relation which approximates the functional equivalence of programs.
V. A. Zakharov, T. A. Novikova
doaj  

Erratum to: “Some model-theoretic results in the algebraic theory of quadratic forms” [Ann. Pure Appl. Logic 112 (2–3) (2001) 189–223]

Annals of Pure and Applied Logic, 2009
Abstract We correct a mistake in [V. Astier, Some model-theoretic results in the algebraic theory of quadratic forms, Ann. Pure Appl. Logic 112 (2–3) (2001) 189–223].
openaire   +1 more source

Algebraic model for scattering in three-s-cluster systems. I. Theoretical background [PDF]

, 2001
V. S. Vasilevsky, A. V. Nesterov, F. Arickx, J. Broeckhove   +3 more
openalex   +1 more source

Diagnostic test tool based on a praxeological reference model to examine students' technical and theoretical algebra knowledge

, 2022
Pia Beck Tonnesen
openalex   +1 more source

A MODEL-THEORETIC PERSPECTIVE ON ALGEBRAIC REDUCTIONS OF HYPERKAEHLER MANIFOLDS [PDF]

, 2012
Rahim Moosa, Anand Pillay
openalex  

Algebraic and Model Theoretic Properties of O-minimal Exponential Fields

, 2019
published
openaire   +1 more source

Set theoretical and algebraic model for redundancies in the genetic code [PDF]

, 2007
Karl Heuer
openalex   +1 more source

Model-theoretic algebra

Advances in Mathematics, 1990
openaire   +1 more source

Researching (Algebraic) Problem Solving from the Perspective of Local Theoretical Models

, 2010
Luis Puig
openalex   +1 more source

Reliability as Projection in Operator-Theoretic Test Theory: Conditional Expectation, Hilbert Space Geometry, and Implications for Psychometric Practice. [PDF]

Educ Psychol Meas
Zumbo BD.
europepmc   +1 more source