Sciweavers

BIRTHDAY
2015
Springer
8 years 8 months ago
The Foundational Legacy of ASL
We recall the kernel algebraic specification language ASL and outline its main features in the context of the state of research on algebraic specification at the time it was conc...
Donald Sannella, Andrzej Tarlecki
BIRTHDAY
2015
Springer
8 years 8 months ago
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
Martin Gebser, Roland Kaminski, Philipp Obermeier,...