Font Size:
a
A
A
Keyword [Logical characterization]
Result: 1 - 5 | Page: 1 of 1
1.
On The Bisimulation Theory And Axiomatization Of Higher-order Process Calculi
2.
Research On Behavioural Approximate Equivalence Of Transition System
3.
Research On λ-bisimulation
4.
Research On Process Calculus With Distance-Limited Communication
5.
A Logical Characterization Of AI Planning
<<First
<Prev Next>
Last>>
Jump to
