Sciweavers

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