Toggle navigation
Home
People
Departments
Research
About
Login
Search
Syntactic Theories: Their Automation and Logical Foundation
Grant
Overview
Affiliation
Scholarly Activity
View All
Overview
date/time interval
July 15, 2002 - June 30, 2006
awarded by
Directorate for Computer & Information Science & Engineering
total award amount
USD 159998
sponsor award ID
0204389
Affiliation
contributor
Sabry, Amr
Funded by
Scholarly Activity
supported publications or other works
Sequent calculi and abstract machines
Journal Articles