Font Size:
a
A
A
Keyword [axiomatization]
Result: 1 - 7 | Page: 1 of 1
1.
Research On The LLTS-oriented Process Calculus CLL_R
2.
On The Bisimulation Theory And Axiomatization Of Higher-order Process Calculi
3.
A Complete Axiomatization For Projection Temporal Logic And Formal Verifications
4.
On Testing Equivalences For Asymmetric And Asynchronous Asymmetric χ-calculus
5.
Finite Axiomatization For Symbolic Probabilistic Pi-Calculus
6.
The Axiomatization And Reduction Of Generalized Formal Contexts
7.
Boundary Region-based MGRSs And Their Uncertainty Measures
<<First
<Prev Next>
Last>>
Jump to
