3624 search results - page 160 / 725 » Abstract Algebraic Logic |
128
Voted
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Although many researchers are investigating techniques to synthesize reversible combinational logic, there is little work in the area of sequential reversible logic. We...
145
Voted
TABLEAUX
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
160
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. We explain the raison d’ˆetre and basic ideas of our gametheoretic approach to normative multiagent systems, sketching the central elements with pointers to other publ...
124
Voted
CSL
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
156
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
ions Sriram Krishnamoorthy½ Umit Catalyurek¾ Jarek Nieplocha¿ Atanas Rountev½ P. Sadayappan½ ½ Dept. of Computer Science and Engineering, ¾ Dept. of Biomedical Informatics T...