Results 251 to 260 of about 2,364,233 (300)
Some of the next articles are maybe not open access.
Proceedings of the fourth annual ACM symposium on Theory of computing - STOC '72, 1972
One objective of the study of schemes for computation is that of finding general methods for checking or verifying a given program against its specifications. If one views the program and its specification as presenting two supposedly equivalent schemes for a computation, then the objective reduces to one of finding general methods for determining ...
Stephen J. Garland, David C. Luckham
openaire +1 more source
One objective of the study of schemes for computation is that of finding general methods for checking or verifying a given program against its specifications. If one views the program and its specification as presenting two supposedly equivalent schemes for a computation, then the objective reduces to one of finding general methods for determining ...
Stephen J. Garland, David C. Luckham
openaire +1 more source
The Jet Scheme of a Monomial Scheme
Communications in Algebra, 2006We explicitly compute the equations and components of the jet schemes of a monomial subscheme of affine space from an algebraic perspective.
Russell A. Goward, Karen E. Smith
openaire +1 more source
Representations of Association Schemes and Their Factor Schemes
Graphs and Combinatorics, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Games and Economic Behavior, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
David Lagziel, Ehud Lehrer
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
David Lagziel, Ehud Lehrer
openaire +1 more source