Anna Gringauze
According to our database1,
Anna Gringauze
authored at least 5 papers
between 1998 and 2002.
Collaborative distances:
Collaborative distances:
Timeline
1998
1999
2000
2001
2002
0
1
2
3
4
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2002
Proceedings of the FME 2002: Formal Methods, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
1998
On the Existence of Propositional Proof Systems and Oracle-relativized Propositional Logic.
Electron. Colloquium Comput. Complex., 1998