CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Special Issue of Theoretical Computer Science on FOSSACS 2001
Furio Honsell
,
Marino Miculan
2003-01-01
Cite
Publication
Springer-Verlag
Related
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Consistency of the Theory of Contexts
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts
Modeling fresh names in the π-calculus using abstractions
Theoretical Computer Science: Preface
Cite
×