10. FSTTCS 1990: Bangalore, India Kesav V. Nori , C. E. Veni Madhavan (Eds.):
Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings.
Lecture Notes in Computer Science 472 Springer 1990, ISBN 3-540-53487-3 Invited Paper
export record as
dblp key:
Logic
export record as
dblp key:
export record as
dblp key:
conf/fsttcs/Subrahmanyam90 export record as
dblp key:
Ralf Treinen :
A New Method for Undecidability Proofs of First Order Theories.
48-62
export record as
dblp key:
Automata and Formal Languages
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
V. Vinay ,
V. Chandru :
The Expressibility of Nondeterministic Auxiliary Stack Automata and its Relation to Treesize Bounded Alternating Auxiliary Pushdown Automata.
104-114
Theory of Programming
export record as
dblp key:
export record as
dblp key:
Parallel Algorithms
export record as
dblp key:
export record as
dblp key:
Rajeev Raman :
The Power of Collision: Randomized Parallel Algorithms for Chaining and Integer Sorting.
161-175
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/fsttcs/LevcopoulosLPR90 export record as
dblp key:
conf/fsttcs/Rajasekaran90 export record as
dblp key:
Invited Paper
export record as
dblp key:
Geometrical Algorithms
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Concurrency
export record as
dblp key:
conf/fsttcs/Kwiatkowska90 export record as
dblp key:
Distributed Computing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Semantics
export record as
dblp key:
export record as
dblp key:
Kurt Sieber :
Relating Full Abstraction Results for Different Programming Languages.
373-387
Invited Lectures in Honour of Prof. R. Narasimhan, TIFR, Bombay
export record as
dblp key:
conf/fsttcs/ChandrasekaranN90 export record as
dblp key:
data released under the ODC-BY 1.0 license
