Search Results - "Kretínský, M"

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Bisimilarity is decidable in the union of normed BPA and normed BPP processes

    Bisimilarity is decidable in the union of normed BPA and normed BPP processes by Cerná, I., Kretínský, M., Kucera, A.

    “…We compare the classes of behaviours (transition systems) which can be generated by normed BPA˙τ and normed BPP˙τ processes. We exactly classify the…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Comparing expressibility of normed BPA and normed BPP processes

    Comparing expressibility of normed BPA and normed BPP processes by CERNA, I, KRETINSKY, M, KUCERA, A

    Published in Acta informatica (01-03-1999)
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Mutual relation between histologic and biochemical findings in various types of alcoholic liver diseases

    Mutual relation between histologic and biochemical findings in various types of alcoholic liver diseases by Hirt, M, Blumajer, J, Oliva, L, Kretínský, M

    Published in Vnitřní lékar̆stvĭ (01-12-1985)
    Get more information
    Journal Article
    Save to List
    Saved in:
  4. 4
    Bisimilarity is decidable in the union of normed BPA and normed BPP processes

    Bisimilarity is decidable in the union of normed BPA and normed BPP processes by CERNA, I, KRETINSKY, M, KUCERA, A

    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: