6598 search results - page 165 / 1320 » Graph Theory with Applications |
177
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
181
click to vote
ACL
2012
13 years 8 months ago
2012
Blogs and forums are widely adopted by online communities to debate about various issues. However, a user that wants to cut in on a debate may experience some difficulties in ext...
195
click to vote
ISEM
2006
15 years 6 months ago
2006
Abstract The GXL Graph eXchange Language is an XML-based standard exchange language for sharing graph data between tools. GXL can be customized to exchange application specific typ...
171
click to vote
BSL
2004
15 years 6 months ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
168
click to vote
TCS
2002
15 years 6 months ago
2002
DNA computing, or, more generally, molecular computing, is an exciting fast developing interdisciplinary area. Research in this area concerns theory, experiments, and applications...