Aleksander Wojdyga

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

2 EE Aleksander Wojdyga: Short Proofs of Strong Normalization. MFCS 2008: 613-623

1 EE Aleksander Wojdyga: Short proofs of strong normalization CoRR abs/0804.2535: (2008)

2008
2	EE	Aleksander Wojdyga: Short Proofs of Strong Normalization. MFCS 2008: 613-623
1	EE	Aleksander Wojdyga: Short proofs of strong normalization CoRR abs/0804.2535: (2008)