default search action

combined dblp search
author search
venue search
publication search

ask others

10th FSTTCS 1990: Bangalore, India

> Home > Conferences and Workshops > FSTTCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/1990
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/1990
Kesav V. Nori, C. E. Veni Madhavan:
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

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/HuynhJLL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/HuynhJLL90
Tien Huynh, Leo Joskowicz, Catherine Lassez, Jean-Louis Lassez:
Reasoning About Linear Constraints Using Parametric Queries. 1-20

Logic

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/YuanY90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/YuanY90
Li-Yan Yuan, Jia-Huai You:
Discriminant Circumscription. 21-32
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Subrahmanyam90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Subrahmanyam90
Ramesh Subrahmanyam:
Complexity of Algebraic Specification. 33-37
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Treinen90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Treinen90
Ralf Treinen:
A New Method for Undecidability Proofs of First Order Theories. 48-62
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/MasseronTV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/MasseronTV90
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles:
Generating Plans in Linear Logic. 63-75

Automata and Formal Languages

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/CulikD90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/CulikD90
Karel Culík II, Simant Dube:
Automata-Theoretic Techniques for Image Generation and Compression. 76-90
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Saoudi90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Saoudi90
Abdellatif Saoudi:
Recognizable Infinite Tree Sets and their Complexity. 91-103
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/VinayC90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/VinayC90
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

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Lewington90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Lewington90
Christopher P. Lewington:
Towards Constructive Program Derivation in VDM. 115-132
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/KapurSZ90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/KapurSZ90
Deepak Kapur, G. Sivakumar, Hantao Zhang:
A New Method for Proving Termination of AC-Rewrite Systems. 133-148

Parallel Algorithms

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/ReifT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/ReifT90
John H. Reif, Akhilesh Tyagi:
Efficient Parallel Algorithms for Optical Computing with the DFT Primitive. 149-160
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Raman90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Raman90
Rajeev Raman:
The Power of Collision: Randomized Parallel Algorithms for Chaining and Integer Sorting. 161-175
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/LinO90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/LinO90
Rong Lin, Stephan Olariu:
Fast Parallel Algorithms for Cographs. 176-189
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/CaseRS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/CaseRS90
John Case, Dayanand S. Rajan, Anil M. Shende:
Optimally Representing Euclidean Space Discretely for Analogically Simulating Physical Phenomena. 190-203
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/LevcopoulosLPR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/LevcopoulosLPR90
Christos Levcopoulos, Andrzej Lingas, Ola Petersson, Wojciech Rytter:
Optimal Parallel Algorithms for Testing Isomorphism of Trees and Outerplanar Graphs. 204-214
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Rajasekaran90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Rajasekaran90
Sanguthevar Rajasekaran:
Randomized Parallel Selection. 215-224
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/PearsonV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/PearsonV90
David Pearson, Vijay V. Vazirani:
A Fast Parallel Algorithm for Finding a Maximal Bipartite Set. 225-231

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Kosaraju90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Kosaraju90
S. Rao Kosaraju:
On Parallel Evaluation of Classes of Circuits. 232-237

Geometrical Algorithms

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/FuL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/FuL90
Jyh-Jong Fu, Richard C. T. Lee:
Voronoi Diagrams of Moving Points in the Plane. 238-254
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/NandyBR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/NandyBR90
Subhas C. Nandy, Bhargab B. Bhattacharya, Sibabrata Ray:
Efficient algorithms for Identifying All Maximal Isothetic Empty Rectangles in VLSI Layout Design. 255-269
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/DattaR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/DattaR90
Amitava Datta, G. D. S. Ramkumar:
On Some Largest Empty Orthoconvex Polygons in a Point Set. 270-285

Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Kwiatkowska90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Kwiatkowska90
Marta Z. Kwiatkowska:
Defining Process Fairness for Non-Interleaving Concurrency. 286-300
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/NicolaF90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/NicolaF90
Rocco De Nicola, Gian-Luigi Ferrari:
Observational Logics and Concurrency Models. 301-315

Distributed Computing

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/AroraG90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/AroraG90
Anish Arora, Mohamed G. Gouda:
Distributed Reset (Extended Abstract). 316-331
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/GronningNL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/GronningNL90
Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen:
Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. 332-348
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/JuangV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/JuangV90
Tong-Ying Tony Juang, Subbarayan Venkatesan:
Efficient Algorithms for Crash Recovery in Distributed Systems. 349-361

Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Reggio90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Reggio90
Gianna Reggio:
A Non-Standard Inductive Semantics. 362-372
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Sieber90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Sieber90
Kurt Sieber:
Relating Full Abstraction Results for Different Programming Languages. 373-387

Invited Lectures in Honour of Prof. R. Narasimhan, TIFR, Bombay

- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/ChandrasekaranN90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/ChandrasekaranN90
B. Chandrasekaran, N. Hari Narayanan:
Towards a Theory of Commonsense Visual Reasoning. 388-409
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BharatiSC90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BharatiSC90
Akshar Bharati, Rajeev Sangal, Vineet Chaitanya:
Natural Language Processing, Complexity Theory and Logic (Extended Abstract). 410-420

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.