By Kohlhase Michael   in Mathematics in Computer Science

ISSN:1661-8270|2|2|279-304

Springer Publishing Company ‎(2008)‎

Access to resources Favorite 17.35159

By Blackburn Patrick   Kohlhase Michael   in Journal of Logic, Language and Information

ISSN:0925-8531|13|2|117-120

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 13.881271