MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Pawel Pietrzak" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Static Incorrectness Diagnosis of CLP(FD)  
  • by Pawel Pietrzak, German Puebla, Francisco Bueno, John Lloyd
  • …Static Incorrectness Diagnosis of CLP(FD) Pawe/l Pietrzak Department of Computer and Information…
  • Add To MetaCart
  • Type Analysis for CHIP  
  • by Wlodzimierz Drabent, Pawel Pietrzak, Pawe/l Pietrzak, Linkopings Universitet — 1998 — In proceedings of Types for Constraint Logic Programming, post-conference workshop of JICSLP'98
  • …Type Analysis for CHIP ? W/lodzimierz Drabent 1 and Pawe/l Pietrzak 2 1 IPI PAN, Polish…
  • Cited by 6 (4 self) – Add To MetaCart
  • Diagnosis of CHIP Programs Using Type Information  
  • by Marco Comini, W̷lodek Drabent Pawe̷l Pietrzak — 1999 — In proceedings of Types for Constraint Logic Programming, post-conference workshop of JICSLP '98
  • …, Pawe̷l Pietrzak Linköping University Abstract The paper presents an approach to diagnosis of CLP…
  • Cited by 6 (5 self) – Add To MetaCart
  • Type-based Diagnosis of CLP Programs  
  • by Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak, Ida Linkopings Universitet
  • …Type-based Diagnosis of CLP Programs 1 W/lodzimierz Drabent 2 , Jan Ma/luszy'nski, Pawe/l…
  • Add To MetaCart
  • A Type-based Diagnoser for CHIP  
  • by Marco Comini, Wlodek Drabent, Jan Maluszynski, Pawel Pietrzak, Marco Comini W/lodek Drabent — 1998
  • …A Type-based Diagnoser for CHIP Marco Comini, W/lodek Drabent, Jan Ma/luszy'nski, Pawe/l Pietrzak…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB