Eugen-Ioan Goriac

Identifiers

• name variant Eugen-Ioan Goriac 0.60 · backfill

Papers (1)

1. Automatic Equivalence Proofs for Non-deterministic Coalgebras cs.LO · 2013 · author #3

Mentions

• 1303.1994 #3 · backfill · confidence 0.70 Eugen-Ioan Goriac

Frequent Coauthors

• Alexandra Silva 1 shared papers
• Dorel Lucanu 1 shared papers
• Georgiana Caltais 1 shared papers
• Jan Rutten 1 shared papers
• Marcello Bonsangue 1 shared papers