Ferucio Laurentiu Tiplea

Identifiers

• name variant Ferucio Laurentiu Tiplea 0.60 · backfill

Papers (1)

1. Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable cs.LO · 2011 · author #2

Mentions

• 1102.4225 #2 · backfill · confidence 0.70 Ferucio Laurentiu Tiplea

Frequent Coauthors

• Catalin Dima 1 shared papers