Sciweavers

2 search results - page 1 / 1
» ras 2011
Sort
View
RAS
2011
12 years 11 months ago
Mission design for a group of autonomous guided vehicles
Elias K. Xidias, Phillip N. Azariadis
IGPL
2011
12 years 8 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