Concepedia

A. Grbavec

AG

Statistics

Publications

2

Citations

81

H-Index

2

Active since

1995

Affiliations

Queen's University(Current)

A. Grbavec is an author at Queen's University specializing in automated reasoning, formal methods, and engineering.

Top concepts

Publications per year

1995–2002

2

Publications

2

Mathematics recognition using graph rewriting

A. Grbavec, Dorothea Blostein · 2002 · 70 citations

, , +13

Practical Use of Graph Rewriting

Dorothea Blostein, Hoda Fahmy, A. Grbavec · 1995 · 11 citations

1–2 of 2