Georgiana Caltais (Reykjavik University

Identifiers

• name variant Georgiana Caltais (Reykjavik University 0.60 · backfill

Papers (1)

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

Mentions

• 1108.3124 #3 · backfill · confidence 0.70 Georgiana Caltais (Reykjavik University

Frequent Coauthors

• Anna Ingolfsdottir (Reykjavik University 1 shared papers
• Eugen-Ioan Goriac (Reykjavik University 1 shared papers
• Iceland) 1 shared papers
• Luca Aceto (Reykjavik University 1 shared papers