Author Info
Name
Affiliation
Papers
DARIA WALUKIEWICZ-CHRZĄSZCZ
Institute of Informatics, University of Warsaw, ul. Banacha 2, 02--097 Warsaw, Poland
7
Collaborators
Citations 
PageRank 
6
26
3.35
Referers 
Referees 
References 
22
120
73
Search Limit
100120
Title
Citations
PageRank
Year
How Hard Is Positive Quantification?00.342016
Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic.00.342016
Restricted Positive Quantification Is Not Elementary.10.392014
Inductive consequences in the calculus of constructions10.382010
The Non-Interference Protection in BML00.342009
Consistency and Completeness of Rewriting in the Calculus of Constructions30.472008
Termination of rewriting in the Calculus of Constructions211.102003