Search Sciweavers | Sciweavers

2500 search results - page 74 / 500

» Logical Semantics of Modularisation

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

15 years 9 months ago

Bartek Klin

claim paper

Read More »

click to vote

ESWS
2007
Springer

106views Internet Technology» more ESWS 2007»

15 years 9 months ago

Thomas Lukasiewicz

claim paper

Read More »

click to vote

SUM
2007
Springer

108views Information Technology» more SUM 2007»

15 years 9 months ago

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

100

WAIM
2007
Springer

132views Information Technology» more WAIM 2007»

15 years 9 months ago

Ruixuan Li, Xiaolin Sun, Zhengding Lu, Kunmei Wen,...

claim paper

Read More »

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

15 years 8 months ago

Sciweavers