Search Sciweavers | Sciweavers

1874 search results - page 17 / 375

» Abstract Machine for LDL

HOTOS
2009
IEEE

111views Operating System» more HOTOS 2009»

15 years 7 months ago

Ross McIlroy, Joseph S. Sventek

claim paper

Read More »

Voted

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

15 years 6 months ago

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

Voted

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

15 years 6 months ago

Pavel Vasilyev

claim paper

Read More »

128

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

15 years 6 months ago

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...

claim paper

Read More »

click to vote

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

15 years 6 months ago

Sciweavers