Nielsen transformation

#	Item
1	BRICS RSDanvy & Nielsen: CPS Transformation of Beta-Redexes BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-02-23 18:41:11
2	BRICS Basic Research in Computer Science BRICS RSL. R. Nielsen: A Selective CPS Transformation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-06 04:55:00
3	BRICS Basic Research in Computer Science BRICS RSDanvy & Nielsen: A First-Order One-Pass CPS Transformation A First-Order One-Pass Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-21 10:15:50
4	First-order theorem proving in the exploration of Andrews-Curtis conjecture Alexei Lisitsa The University of Liverpool ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2013-04-02 18:41:25 Andrews–Curtis conjecture Nielsen transformation Counterexample Automated theorem proving Conjectures Mathematics Combinatorial group theory
5	Transformation 2011 Attendees, By Name Add to Reading List Source URL: www.aaaa.org Language: English - Date: 2011-04-11 14:44:56 Nielsen Company Yahoo! TRA Inc. AOL Donovan Data Systems Advertising GfK Internet World Wide Web Business