مرکز منطقه ای اطلاع رساني علوم و فناوري - Optimization among provably equivalent programs

DocumentCode :

2203162

Title :

Optimization among provably equivalent programs

Author :

Young, Paul

fYear :

1973

fDate :

15-17 Oct. 1973

Firstpage :

197

Lastpage :

199

Keywords :

Arithmetic; Complexity theory; Computational complexity; Mathematics; Set theory; Terminology;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Switching and Automata Theory, 1973. SWAT '08. IEEE Conference Record of 14th Annual Symposium on

Conference_Location :

USA

ISSN :

0272-4847

Type :

conf

DOI :

10.1109/SWAT.1973.24

Filename :

4569744

Link To Document :