Declarative Representation of Algorithms of Completion by Critical Pairs
Cybernetics and Systems Analysis
A Rewriting Machine and Optimization of Strategies of Term Rewriting
Cybernetics and Systems Analysis
Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems
Cybernetics and Systems Analysis
Systems Specification by Basic Protocols
Cybernetics and Systems Analysis
Translation of Algebraic Programs into Executable Codes
Cybernetics and Systems Analysis
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Parallel inference search in logical calculus based on the algebraic programming system
Cybernetics and Systems Analysis
An automatic method for the dynamic construction of abstractions of states of a formal model
Cybernetics and Systems Analysis
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Cybernetics and Systems Analysis
Hi-index | 0.02 |