Title :
Proceedings. 31st Annual Symposium on Foundations of Computer Science (Cat. No.90CH2925-6)
Abstract :
The following topics were dealt with: proofs and proof systems; graph algorithms; cryptography; string matching; parallel algorithms; machine learning; computational geometry; circuits and networks; programming theory; computational complexity; distributed computing; randomness; and automata
Keywords :
computation theory; computer science; automata; circuits; computational complexity; computational geometry; computer science; cryptography; distributed computing; graph algorithms; machine learning; networks; parallel algorithms; programming theory; proof systems; randomness; string matching;
Conference_Titel :
Foundations of Computer Science, 1990. Proceedings., 31st Annual Symposium on
Conference_Location :
St. Louis, MO, USA
Print_ISBN :
0-8186-2082-X
DOI :
10.1109/FSCS.1990.89615
