193 search results - page 18 / 39 » Automated Reasoning in Kleene Algebra |
108
click to vote
TIME
2002
IEEE
15 years 4 months ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
TPHOL
2000
IEEE
15 years 3 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
124
click to vote
CL
2007
Springer
14 years 11 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
LACL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Some new algebras, which are possible denotations for various determiners, are studied. One of them is the algebra of generalised cardinal quantifiers which is a sub-alg...
109
click to vote
LICS
2010
IEEE
14 years 9 months ago
2010
IEEE
The universal-algebraic approach has proved a powerful tool in the study of the computational complexity of constraint satisfaction problems (CSPs). This approach has previously b...