Log. Methods Comput. Sci. - researchr journals

researchr

You are not signed in
Sign in
Sign up

Journals associated with the name Log. Methods Comput. Sci.:

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive ConstructionsAndrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi. Log. Methods Comput. Sci., 8(1), 2012. [doi]

runs on WebDSL