Coverart for item
The Resource Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings, edited by Mathai Joseph and Rudrapatna Shyamasundar

Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings, edited by Mathai Joseph and Rudrapatna Shyamasundar

Label
Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings
Title
Foundations of software technology and theoretical computer science
Title remainder
fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings
Statement of responsibility
edited by Mathai Joseph and Rudrapatna Shyamasundar
Title variation
FST & TCS
Creator
Contributor
Subject
Genre
Language
eng
Member of
Action
digitized
Cataloging source
SCPER
Dewey number
001.64/2
Illustrations
illustrations
Index
no index present
LC call number
QA76.6
LC item number
.F686 1984
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1984
http://bibfra.me/vocab/lite/meetingName
Conference on Foundations of Software Technology and Theoretical Computer Science
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1950-
http://library.link/vocab/relatedWorkOrContributorName
  • Joseph, M
  • Shyamasundar, Rudrapatna
Series statement
Lecture notes in computer science
Series volume
181
http://library.link/vocab/subjectName
  • Computer programming
  • Computers
  • Programmation (Informatique)
  • Ordinateurs
  • Informatique
  • Logiciels
  • Computer programming
  • Computers
  • Ordinateurs
  • Informatique
Label
Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings, edited by Mathai Joseph and Rudrapatna Shyamasundar
Instantiates
Publication
Note
" ... FST & TCS conferences"--Preface
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Logic for knowledge representation -- Logical specification and implementation -- Process specification of logic programs -- Functional programming systems revisited -- Models and transformations for nondeterministic extensions of functional programming -- Degrees of non-determinism and concurrency: A Petri net view -- Proof rules for communication abstractions -- A distributed algorithm for detecting communication deadlocks -- On the existence and construction of robust communication protocols for unreliable channels -- Heuristic search approach to optimal routing in a distributed architecture -- Replacement in monotone Boolean networks: An algebraic perspective -- A new characterization of BPP -- Treating terminals as function values of time -- Logics of knowledge, games and dynamic logic -- Persistent first class procedures are enough -- Abstraction concepts for modeling screen oriented dialogue interfaces -- VLSI systems for design rule checks -- Bounds on the length of convex partitions of polygons -- On mapping cube graphs onto VLSI arrays -- A linear-time algorithm for determining the intersection type of two star polygons -- Eliminating cascading rollback in structured databases -- Recognition and top-down generation of?-acyclic database schemes -- Universal and representative instances using unmarked nulls -- On some computational problems related to data base coding -- Generic oracles -- Approximation algorithm for maximum independent set in planar traingle-free graphs -- Grid file algorithms: An analysis in the biased case -- On the mean weight balance factor of binary trees -- An efficient algorithm for random sampling without replacement -- Proof rules for communication abstractions
Control code
326982423
Dimensions
unknown
Extent
1 online resource (viii, 468 pages)
Form of item
online
Isbn
9783540390879
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-13883-8
Other physical details
illustrations.
Reproduction note
Electronic reproduction.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)326982423
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings, edited by Mathai Joseph and Rudrapatna Shyamasundar
Publication
Note
" ... FST & TCS conferences"--Preface
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Logic for knowledge representation -- Logical specification and implementation -- Process specification of logic programs -- Functional programming systems revisited -- Models and transformations for nondeterministic extensions of functional programming -- Degrees of non-determinism and concurrency: A Petri net view -- Proof rules for communication abstractions -- A distributed algorithm for detecting communication deadlocks -- On the existence and construction of robust communication protocols for unreliable channels -- Heuristic search approach to optimal routing in a distributed architecture -- Replacement in monotone Boolean networks: An algebraic perspective -- A new characterization of BPP -- Treating terminals as function values of time -- Logics of knowledge, games and dynamic logic -- Persistent first class procedures are enough -- Abstraction concepts for modeling screen oriented dialogue interfaces -- VLSI systems for design rule checks -- Bounds on the length of convex partitions of polygons -- On mapping cube graphs onto VLSI arrays -- A linear-time algorithm for determining the intersection type of two star polygons -- Eliminating cascading rollback in structured databases -- Recognition and top-down generation of?-acyclic database schemes -- Universal and representative instances using unmarked nulls -- On some computational problems related to data base coding -- Generic oracles -- Approximation algorithm for maximum independent set in planar traingle-free graphs -- Grid file algorithms: An analysis in the biased case -- On the mean weight balance factor of binary trees -- An efficient algorithm for random sampling without replacement -- Proof rules for communication abstractions
Control code
326982423
Dimensions
unknown
Extent
1 online resource (viii, 468 pages)
Form of item
online
Isbn
9783540390879
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-13883-8
Other physical details
illustrations.
Reproduction note
Electronic reproduction.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)326982423
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...