Sciweavers

23 search results - page 1 / 5
» actac 2007
Sort
View
159
Voted
ACTAC
2006
58views more  ACTAC 2006»
15 years 7 months ago
Combining metric and topological navigation of simulated robots
Richárd Szabó
ACTAC
2006
56views more  ACTAC 2006»
15 years 7 months ago
Extending the Sparkle Core language with object abstraction
Máté Tejfel, Zoltán Horv&aacu...
82
Voted
ACTAC
2004
52views more  ACTAC 2004»
15 years 7 months ago
A Hierarchy Theorem for Regular Languages over Free Bisemigroups
Zoltán L. Németh
66
Voted
ACTAC
2000
38views more  ACTAC 2000»
15 years 7 months ago
The Logic of Knights, Knaves, Normals and Mutes
László Aszalós