Search Sciweavers | Sciweavers

3239 search results - page 41 / 648

» A Logical Process Calculus

113

ISMIS
2000
Springer

68views Artificial Intelligence» more ISMIS 2000»

15 years 6 months ago

Robert Demolombe, Maria del Pilar Pozos Parra

claim paper

Read More »

click to vote

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

15 years 5 months ago

Jean-David Roubach, Pascal Yim, Joaquin Rodriguez

claim paper

Read More »

click to vote

CORR
2004
Springer

81views Education» more CORR 2004»

15 years 3 months ago

Nicola Olivetti, Gian Luca Pozzato, Camilla Schwin...

claim paper

Read More »

click to vote

MICRO
2002
IEEE

111views Hardware» more MICRO 2002»

15 years 2 months ago

Marek A. Perkowski, David Foote, Qihong Chen, Anas...

claim paper

Read More »

click to vote

DLOG
2010

109views Automated Reasoning» more DLOG 2010»

15 years 1 months ago

Sciweavers