6413 search results - page 826 / 1283 » Classes of cycle bases |
194
click to vote
FSTTCS
2004
Springer
16 years 14 days ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
167
click to vote
ITS
2004
Springer
16 years 13 days ago
2004
Springer
We have implemented a novel peer-to-peer based environment called Comtella, which allows students to contribute and share class-related resources. This system has been implemented ...
183
click to vote
KR
2004
Springer
16 years 13 days ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
176
click to vote
LPAR
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
175
click to vote
MPC
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...