By Kahrs S.   Sannella D.   Tarlecki A.   in Theoretical Computer Science

ISSN:0304-3975|173|2|445-484

Elsevier‎(1997)‎

Access to resources Favorite 8.940102

By Astesiano E.   Bidoit M.   Kirchner H.   Krieg-Bruckner B.   Mosses P.D.   Sannella D.   Tarlecki A.   in Theoretical Computer Science

ISSN:0304-3975|286|2|153-196

Elsevier‎(2002)‎

Access to resources Favorite 5.245923

By Tarlecki Andrzej   in Studia Logica

ISSN:0039-3215|102|1|225-229

Springer Publishing Company ‎(2014)‎

Access to resources Favorite 2.9534342

By Bidoit Michel   Sannella Donald   Tarlecki Andrzej   in Formal Aspects of Computing

ISSN:0934-5043|13|3-5|252-273

Springer Publishing Company ‎(2002)‎

Access to resources Favorite 1.7720606