Sciweavers

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