MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Indra Polak" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Normal Form in DI-Algebra with Recursion  
  • by Paul G. Lucassen, Indra Polak, Jan Tijmen Udding — 1997 — Third International Symposium on Advanced Research in Asynchronous Circuits and Systems
  • …Normal Form in DI-Algebra with Recursion Paul G. Lucassen, Indra Polak, Jan Tijmen Udding…
  • Cited by 2 (0 self) – Add To MetaCart
  • Algebraic Proof Assistants in HOL  
  • by Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding — 1995 — 1 OS5 ) .I. P~~JK Cltertr. 89. 5767-577 1 . Pri
  • …Algebraic Proof Assistants in HOL Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan…
  • Cited by 2 (0 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB