Sciweavers

2 search results - page 1 / 1
» ras 2011
Sort
View
210
Voted
RAS
2011
15 years 21 days ago
Mission design for a group of autonomous guided vehicles
Elias K. Xidias, Phillip N. Azariadis
196
Voted
IGPL
2011
14 years 9 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski