CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Alberto Ciaffaglione
,
L Liquori
,
Marino Miculan
2007-01-01
Cite
DOI
Type
Journal article
Publication
JOURNAL OF AUTOMATED REASONING
Related
Imperative Object-based Calculi in (Co)Inductive Type Theories
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax
A simple criterion for M,N-adhesivity
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions
Automated verification of Telegram’s MTProto 2.0 in the symbolic model
Cite
×