Sciweavers

2155 search results - page 2 / 431
» Computational Linguistics
Sort
View
233
Voted
ACL2
2006
ACM
16 years 1 months ago
Towards a formal theory of on chip communications in the ACL2 logic
Julien Schmaltz, Dominique Borrione