Eugen-Ioan Goriac (Reykjavik University

Identifiers

• name variant Eugen-Ioan Goriac (Reykjavik University 0.60 · backfill

Papers (1)

1. Axiomatizing GSOS with Predicates cs.LO · 2011 · author #5

Mentions

• 1108.3124 #5 · backfill · confidence 0.70 Eugen-Ioan Goriac (Reykjavik University

Frequent Coauthors

• Anna Ingolfsdottir (Reykjavik University 1 shared papers
• Georgiana Caltais (Reykjavik University 1 shared papers
• Iceland) 1 shared papers
• Luca Aceto (Reykjavik University 1 shared papers