Indra Polak (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Paul G. Lucassen, Indra Polak, Jan Tijmen Udding: Normal Form in DI-Algebra with Recursion. ASYNC 1997: 167-174

2 Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding: Algebraic Proof Assistants in HOL. MPC 1995: 304-321

Selection of 2 from 3 records - Indra Polak has 7 coauthors

3		Paul G. Lucassen, Indra Polak, Jan Tijmen Udding: Normal Form in DI-Algebra with Recursion. ASYNC 1997: 167-174
2		Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding: Algebraic Proof Assistants in HOL. MPC 1995: 304-321