Author:
Babenyshev Sergey,Martins Manuel A.
Funder
Foundation for Science and Technology
EU FP7 Marie Curie
Spanish Ministry of Research
Subject
Applied Mathematics,Logic
Reference52 articles.
1. Deduction detachment theorem in hidden k-logics;Babenyshev;J. Log. Comput.,2014
2. Behavioural theories and the proof of behavioural properties;Bidoit;Theor. Comput. Sci.,1996
3. Observer complete definitions are behaviourally coherent;Bidoit,1999
4. Behavioural and abstractor specifications;Bidoit;Sci. Comput. Program.,1995
5. Observational interpretation of CASL specifications;Bidoit;Math. Struct. Comput. Sci.,2008
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A short overview of Hidden Logic;Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science;2018