Sciweavers

22 search results - page 3 / 5
» tocl 2008
Sort
View
TOCL
2008
46views more  TOCL 2008»
13 years 9 months ago
Program termination and well partial orderings
Andreas Blass, Yuri Gurevich
TOCL
2008
78views more  TOCL 2008»
13 years 9 months ago
Contextual modal type theory
Aleksandar Nanevski, Frank Pfenning, Brigitte Pien...
TOCL
2008
46views more  TOCL 2008»
13 years 9 months ago
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
Agostino Dovier, Carla Piazza, Gianfranco Rossi