Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540160427, 9783540397229

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

VLSI systems for matrix multiplication

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-16042-6_25 ◽

1985 ◽

pp. 428-456

Author(s):

Kam Hoi Cheng ◽

Sartaj Sahni

Keyword(s):

Matrix Multiplication

Download Full-text

A simple characterization of database serializability

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-16042-6_18 ◽

1985 ◽

pp. 329-345 ◽

Cited By ~ 4

Author(s):

K. Vidyasankar

Keyword(s):

Simple Characterization

Download Full-text

The implication problem for functional and multivalued dependencies : An algebraic approach

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-16042-6_17 ◽

1985 ◽

pp. 303-328

Author(s):

V. S. Lakshmanan ◽

C. E. Veni Madhavan

Keyword(s):

Algebraic Approach ◽

Implication Problem

Download Full-text

NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-16042-6_28 ◽

1985 ◽

pp. 496-503 ◽

Cited By ~ 27

Author(s):

Dexter Kozen ◽

Umesh V. Vazirani ◽

Vijay V. Vazirani

Keyword(s):

Perfect Matching ◽

Interval Graphs ◽

Nc Algorithms

Download Full-text

The mathematics of programming

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-16042-6_1 ◽

1985 ◽

pp. 1-18 ◽

Cited By ~ 7

Author(s):

C. A. R. Hoare

Download Full-text

Design and implementation of a procedural VLSI layout system

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-16042-6_24 ◽

1985 ◽

pp. 412-427

Author(s):

Jose M. Mata ◽

Gopalakrishnan Vijayan

Keyword(s):

Vlsi Layout ◽

Design And Implementation

Download Full-text

PROLOG-based inductive theorem proving

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-16042-6_7 ◽

1985 ◽

pp. 129-149 ◽

Cited By ~ 1

Author(s):

Jieh Hsiang ◽

Mandayam Srivas

Keyword(s):

Theorem Proving ◽

Inductive Theorem Proving

Download Full-text

New protocols for the election of a leader in a ring

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-16042-6_5 ◽

1985 ◽

pp. 101-115 ◽

Cited By ~ 1

Author(s):

A. Marchetti-Spaccamela

Download Full-text

Parallel algorithms for solving certain classes of linear recurrences

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-16042-6_26 ◽

1985 ◽

pp. 457-476 ◽

Cited By ~ 2

Author(s):

S. Lakshmivarahan ◽

Sudarshan K. Dhall

Keyword(s):

Parallel Algorithms ◽

Linear Recurrences

Download Full-text

Large database specifications from small views

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-16042-6_14 ◽

1985 ◽

pp. 246-271 ◽

Cited By ~ 2

Author(s):

S. Khosla ◽

T. S. E. Maibaum ◽

M. Sadler

Keyword(s):

Large Database

Download Full-text

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

VLSI systems for matrix multiplication

A simple characterization of database serializability

The implication problem for functional and multivalued dependencies : An algebraic approach

NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching

The mathematics of programming

Design and implementation of a procedural VLSI layout system

PROLOG-based inductive theorem proving

New protocols for the election of a leader in a ring

Parallel algorithms for solving certain classes of linear recurrences

Large database specifications from small views

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science
Latest Publications