Language
-
All (
)
-
Free, open source (
)
5Result(s)for '" Pfenning F."'
Resource list
By Polakow J. Pfenning F. in Electronic Notes in Theoretical Computer Science
ISSN:1571-0661|20|1|1-18
Elsevier(2004)
Access to resources
Favorite
11.530283
By Cervesato I. Pfenning F. in Information and Computation
ISSN:0890-5401|179|1|19-75
Academic Press(2002)
Access to resources
Favorite
11.530283
By Sieg W. Pfenning F. in Studia Logica
ISSN:0039-3215|60|1|1-1
Springer Publishing Company (1998)
Access to resources
Favorite
11.530283
By Cervesato I. Hodas J.S. Pfenning F. in Theoretical Computer Science
ISSN:0304-3975|232|1|133-163
Elsevier(2000)
Access to resources
Favorite
9.068807
By Colby C. Crary K. Harper R. Lee P. Pfenning F. in Theoretical Computer Science
ISSN:0304-3975|290|2|1175-1199
Elsevier(2003)
Access to resources
Favorite
7.416974