Results 61 to 70 of about 5,940 (73)

Calculating Church-Rosser Proofs in Kleene Algebra

RelMiCS, 2001
G. Struth
semanticscholar   +1 more source

An Algebra of Resolution

International Conference on Rewriting Techniques and Applications, 2000
G. Struth
semanticscholar   +1 more source

The character values of the irreducible constituents of a transitive permutation representation

, 2002
G. Michler, M. Weller
semanticscholar   +1 more source

The power of languages for the manipulation of complex values

The VLDB journal, 1995
S. Abiteboul, C. Beeri
semanticscholar   +1 more source

Temporal Structures

Mathematical Structures in Computer Science, 1989
R. Casley, Roger F. Crew, J. Meseguer, V. Pratt   +3 more
semanticscholar   +1 more source

On Automated Program Construction and Verification

International Conference on Mathematics of Program Construction, 2010
R. Berghammer, G. Struth
semanticscholar   +1 more source

Nonrepresentable Sequential Algebras

Logic Journal of the IGPL, 1997
P. Jipsen, R. Maddux
semanticscholar   +1 more source

Transitivity of the norm on Banach spaces having a Jordan structure

, 2000
Á. Palacios, J. Guerrero
semanticscholar   +1 more source

On a conjecture of Sophus Lie

, 2002
J. Draisma, B. Braaksma, G. K. Immink, M. Put, Jaap Top   +4 more
semanticscholar   +1 more source

Ergodic Properties of Invariant Markov Chains on Homogeneous Spaces

, 1958
M. Shur
semanticscholar   +1 more source