193 search results - page 10 / 39 » Automated Reasoning in Kleene Algebra |
136
click to vote
LICS
2000
IEEE
15 years 4 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...
101
click to vote
CSL
2010
Springer
15 years 26 days ago
2010
Springer
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
102
click to vote
CADE
2007
Springer
16 years 2 days ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
TIME
2008
IEEE
15 years 6 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
106
click to vote
CADE
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...