Electronic Notes in Theoretical Computer Science, Volume 204
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)
share record
short URL:
https://dblp.org/rec/journals/entcs/Giesl08 export record
dblp key:
journals/entcs/ThiemannM08 share record
short URL:
https://dblp.org/rec/journals/entcs/ThiemannM08 export record
dblp key:
journals/entcs/UchiyamaSS08 share record
short URL:
https://dblp.org/rec/journals/entcs/UchiyamaSS08 export record
dblp key:
journals/entcs/SchernhammerG08 share record
short URL:
https://dblp.org/rec/journals/entcs/SchernhammerG08 share record
short URL:
https://dblp.org/rec/journals/entcs/SakaiW08 share record
short URL:
https://dblp.org/rec/journals/entcs/MoreauR08 export record
dblp key:
journals/entcs/LucanuRG08 share record
short URL:
https://dblp.org/rec/journals/entcs/LucanuRG08 share record
short URL:
https://dblp.org/rec/journals/entcs/Echahed08 export record
dblp key:
journals/entcs/BaldanBCK08 share record
short URL:
https://dblp.org/rec/journals/entcs/BaldanBCK08 share record
short URL:
https://dblp.org/rec/journals/entcs/Sinot08a export record
dblp key:
journals/entcs/Machkasova08 share record
short URL:
https://dblp.org/rec/journals/entcs/Machkasova08 Elena Machkasova :
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. 147-162 export record
dblp key:
journals/entcs/AlvesFMS08 share record
short URL:
https://dblp.org/rec/journals/entcs/AlvesFMS08 export record
dblp key:
journals/entcs/AlmeidaPV08 share record
short URL:
https://dblp.org/rec/journals/entcs/AlmeidaPV08
maintained by
at