7535 search results - page 42 / 1507 » A Type System for CHR |
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
d abstract) Takahito Aoto† Toshiyuki Yamada‡
TIC
1998
Springer
13 years 12 months ago
1998
Springer
TIC
1998
Springer
13 years 11 months ago
1998
Springer
CADE
2001
Springer
14 years 8 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...
JIPS
2006
13 years 7 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...