Sciweavers

144 search results - page 10 / 29
» corr 2000
Sort
View
CORR
2000
Springer
92views Education» more  CORR 2000»
15 years 3 months ago
DISCO: An object-oriented system for music composition and sound design
Hans G. Kaper, Sever Tipei, Jeff M. Wright
82
Voted
CORR
2000
Springer
63views Education» more  CORR 2000»
15 years 3 months ago
Verifying Termination and Error-Freedom of Logic Programs with block Declarations
Jan-Georg Smaus, Patricia M. Hill, Andy King
67
Voted
CORR
2000
Springer
62views Education» more  CORR 2000»
15 years 3 months ago
SLT-Resolution for the Well-Founded Semantics
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
CORR
2000
Springer
73views Education» more  CORR 2000»
15 years 3 months ago
Structure of some sand pile model
Matthieu Latapy, Roberto Mantaci, Michel Morvan, H...
CORR
2000
Springer
82views Education» more  CORR 2000»
15 years 3 months ago
Representation results for defeasible logic
Grigoris Antoniou, David Billington, Guido Governa...