27 search results - page 6 / 6 » The Complexity of Games on Higher Order Pushdown Automata |
CC
2003
Springer
14 years 4 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
COLCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—Geospatial tagging (geotagging) is an emerging and very promising application that can help users find a wide variety of location-specific information, and facilitate the deve...