Higher dimensional transition systems

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 55-62

  Cattani, Gian Luca ^a   Sassone, Vladimiro ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; FORMAL LOGIC; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

BISIMULATION; HIGHER DIMENSIONAL AUTOMATA; HIGHER DIMENSIONAL TRANSITION SYSTEMS;

FINITE AUTOMATA;

EID: 0029724778     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)