Title :
Proceedings 33rd Annual Symposium on Foundations of Computer Science (Cat. No.92CH3188-0)
Abstract :
The following topics were dealt with: theorem proving; computational geometry; group theory; parallel processing; formal languages; load balancing; computational complexity; circuit complexity; matrix algebra; scheduling; decidability; optimisation; learning; multiprocessor interconnection; and graph theory
Keywords :
computational complexity; computational geometry; formal languages; graph theory; multiprocessor interconnection networks; parallel algorithms; circuit complexity; computational complexity; computational geometry; decidability; formal languages; graph theory; group theory; learning; load balancing; matrix algebra; multiprocessor interconnection; optimisation; parallel processing; scheduling; theorem proving;
Conference_Titel :
Foundations of Computer Science, 1992. Proceedings., 33rd Annual Symposium on
Conference_Location :
Pittsburgh, PA, USA
Print_ISBN :
0-8186-2900-2
DOI :
10.1109/SFCS.1992.267825
