2018
DOI: 10.1007/978-3-319-74772-9_6
|View full text |Cite
|
Sign up to set email alerts
|

A short overview of Hidden Logic

Abstract: In this paper we review a hidden (sorted) generalization of kdeductive systems -hidden k-logics. They encompass deductive systems as well as hidden equational logics and inequational logics. The special case of hidden equational logics has been used to specify and to verify properties in program development of behavioral systems within the dichotomy visible vs. hidden data. We recall one of the main applications of this work -the study of behavioral equivalence. Related results are obtained through combinatori… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 42 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?