10539 search results - page 380 / 2108 » On L |
169
click to vote
ENTCS
2008
15 years 7 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
164
click to vote
FFA
2008
15 years 7 months ago
2008
A projective plane is called a translation plane if there exists a line L such that the group of elations with axis L acts transitively on the points not on L. A translation plane...
167
click to vote
JUCS
2008
15 years 6 months ago
2008
: This paper describes the process of translating an adaptive sequencing strategy designed using Sequencing Graphs to the semantics of IMS Learning Design. The relevance of this co...
191
click to vote
APAL
2002
15 years 6 months ago
2002
We give a general method for constructing lattices L whose equational theories are inherently nonfinitely based. This means that the equational class (that is, the variety) genera...
