CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Theoretical Computer Science: Preface
Furio Honsell
,
Marino Miculan
2003-01-01
Cite
DOI
Type
Book section
Publication
Theoretical Computer Science
Computational Theory and Mathematics
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
Special Issue of Theoretical Computer Science on FOSSACS 2001
Cite
×