Foundations of software technology and theoretical computer science: 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1996
|
| Series: | Lecture notes in computer science
1180 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XI, 386 S. graph. Darst. |
| ISBN: | 3540620346 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011068550 | ||
| 003 | DE-604 | ||
| 005 | 20070419 | ||
| 007 | t| | ||
| 008 | 961113s1996 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 948984511 |2 DE-101 | |
| 020 | |a 3540620346 |9 3-540-62034-6 | ||
| 035 | |a (OCoLC)36242624 | ||
| 035 | |a (DE-599)BVBBV011068550 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-20 |a DE-19 |a DE-634 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.751 | |
| 082 | 0 | |a 001.64 |b L497, v.1180 |2 21 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Foundations of software technology and theoretical computer science |b 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings |c V. Chandru ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a XI, 386 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1180 | |
| 650 | 7 | |a Informatica |2 gtt | |
| 650 | 7 | |a Informatique - Congrès |2 ram | |
| 650 | 7 | |a Logiciels - Congrès |2 ram | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a algèbre processus |2 inriac | |
| 650 | 7 | |a géométrie algorithmique |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a logique équationnelle |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a théorie complexité |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 4 | |a Computer software |v Congresses | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Hyderabad Andhra Pradesh |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Chandru, Vijay |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1180 |w (DE-604)BV000000607 |9 1180 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007413913&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007413913 | |
Record in the Search Index
| _version_ | 1820868193950892032 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
CIRCUIT
COMPLEXITY
BEFORE
THE
DAWN
OF
THE
NEW
MILLENNIUM
.
1
E
RIC
A
LLENDER
A
LAMBDA
CALCULUS
WITH
LETRECS
AND
BARRIERS
.
19
A
RVIND
,
J
AN
-W
ILLEM
M
AESSEN
,
R
ISHIYUR
S.
N
IKHIL
,
J
OSEPH
S
TOY
TABLES
.
37
J.
I
AN
M
UNRO
MECHANIZED
FORMAL
METHODS:
PROGRESS
AND
PROSPECTS
.
43
J
OHN
R
USHBY
COMPUTATIONAL
GEOMETRY
I
THE
PARAMETER
SPACE
OF
THE
D-STEP
CONJECTURE
.
52
J.C.
L
AGARIAS
,
N.
P
RABHU
,
J.A.
R
EEDS
ON
THE
COMPLEXITY
OF
APPROXIMATING
EUCLIDEAN
TRAVELING
SALESMAN
TOURS
AND
MINIMUM
SPANNING
TREES
.
64
G.
D
AS
,
S.
K
APOOR
,
M.
S
MID
EFFICIENT
COMPUTATION
OF
RECTILINEAR
GEODESIC
VORONOI
NEIGHBOR
IN
PRESENCE
OF
OBSTACLES
.
76
P.
M
ITRA
,
S.C.
N
ANDY
PROCESS
ALGEBRAS
WEAK
BISIMULATION
AND
MODEL
CHECKING
FOR
BASIC
PARALLEL
PROCESSES
.
88
R.
M
AYR
TESTING
PROCESSES
FOR
EFFICIENCY
.
100
K.
J
AIN
,
S.
A
RUN
-K
UMAR
REGULARITY
IS
DECIDABLE
FOR
NORMED
PA
PROCESSES
IN
POLYNOMIAL
TIME
.
ILL
A.
K
UCERA
COMPUTATIONAL
GEOMETRY
II
DYNAMIC
MAINTENANCE
OF
SHORTEST
PATH
TREES
IN
SIMPLE
POLYGONS
.
123
S.
K
APOOR
,
T.
S
INGH
CLOSE
APPROXIMATIONS
OF
MINIMUM
RECTANGULAR
COVERINGS
.
135
C.
L
EVCOPOULOS
,
J.
G
UDMUNDSSON
X
A
NEW
COMPETITIVE
ALGORITHM
FOR
AGENT
SEARCHING
IN
UNKNOWN
STREETS
.
147
P.
D
ASGUPTA
,
P.P.
C
HAKRABARTI
,
S.C.
D
E
S
ARKAR
SEMANTICS
ON
THE
DESIGN
OF
HYBRID
CONTROL
SYSTEMS
USING
AUTOMATA
MODELS
.
156
D.V.
H
UNG
,
W.
J
I
CONSTRAINT
RETRACTION
IN
FD
.
168
P.
C
ODOGNET
,
D.
D
IAZ
,
F.
R
OSSI
WINSKEL
IS
(ALMOST)
RIGHT:
TOWARDS
A
MECHANIZED
SEMANTICS
TEXTBOOK
.
180
T.
N
IPKOW
ALGORITHMS
AN
OPTIMAL
DETERMINISTIC
ALGORITHM
FOR
ONLINE
B-MATCHING
.
193
B.
K
ALYANASUNDARAM
,
K.
P
RUHS
TIGHT
BOUNDS
FOR
PREFETCHING
AND
BUFFER
MANAGEMENT
ALGORITHMS
FOR
PARALLEL
I/O
SYSTEMS
.
200
P.J.
V
ARMAN
,
R.M.
V
ERMA
COMPLEXITY
OF
THE
GRAVITATIONAL
METHOD
FOR
LINEAR
PROGRAMMING
.
212
T.L.
M
ORIN
,
N.
P
RABHU
,
Z.
Z
HANG
OPTIMAL
AND
INFORMATION
THEORETIC
SYNTACTIC
PATTERN
RECOGNITION
INVOLVING
TRADITIONAL
AND
TRANSPOSITION
ERRORS
.
224
B.J.
O
OMMEN
,
R.K.S.
L
OKE
REWRITING/EQUATIONAL-TEMPORAL
LOGICS
MINIMAL
RELATIVE
NORMALIZATION
IN
ORTHOGONAL
EXPRESSION
REDUCTION
SYSTEMS
.
238
J.
G
LAUERT
,
Z.
K
HASIDASHVILI
TRACE
CONSISTENCY
AND
INEVITABILITY
.
250
R.
R
AMANUJAM
FINITE
STATE
IMPLEMENTATIONS
OF
KNOWLEDGE-BASED
PROGRAMS
.
262
R.
VAN
DER
M
EYDEN
HIGHER-ORDER
PROOF
BY
CONSISTENCY
.
274
H.
L
INNESTAD
,
C.
P
REHOFER
,
O.L
YSNE
XI
COMPLEXITY
THEORY
ADVOCATING
OWNERSHIP
.
286
H.
F
ERNAU
,
K.-J.
L
ANGE
,
K.
R
EINHARDT
NON-CANCELLATIVE
BOOLEAN
CIRCUITS:
A
GENERALIZATION
OF
MONOTONE
BOOLEAN
CIRCUITS
.
298
R.S
ENGUPTA
,
H.
V
ENKATESWARAN
LIMITATIONS
OF
THE
QRQW
AND
EREW
PRAM
MODELS
.
310
M.
K
UTYLOWSKI
,
K.
L
ORYS
PINPOINTING
COMPUTATION
WITH
MODULAR
QUERIES
IN
THE
BOOLEAN
HIERARCHY
.
322
M.
A
GRAWAL
,
R.
B
EIGEL
,
T.
T
HIERAUF
TYPE
THEORY
CHARACTERIZATION
OF
PRINCIPAL
TYPE
OF
NORMAL
FORMS
IN
AN
INTERSECTION
TYPE
SYSTEM
.
335
E.
S
AYAG
,
M.
M
AUNY
CORRECTING
TYPE
ERRORS
IN
THE
CURRY
SYSTEM
.
347
M.
G
ANDHE
,
G.
V
ENKATESH
,
A.
S
ANYAL
IMMEDIATE
FIXPOINTS
AND
THEIR
USE
IN
GROUNDNESS
ANALYSIS
.
359
H.
S0NDERGAARD
GRAPH
TYPES
FOR
MONADIC
MOBILE
PROCESSES
.
371
N.
Y
OSHIDA
AUTHOR
INDEX
.
387 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011068550 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.751 |
| callnumber-search | QA76.751 |
| callnumber-sort | QA 276.751 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1996 SS 4800 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)36242624 (DE-599)BVBBV011068550 |
| dewey-full | 001.64 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.64 |
| dewey-search | 001.64 |
| dewey-sort | 11.64 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011068550</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070419</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">961113s1996 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948984511</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540620346</subfield><subfield code="9">3-540-62034-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36242624</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011068550</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.751</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.64</subfield><subfield code="b">L497, v.1180</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software technology and theoretical computer science</subfield><subfield code="b">16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings</subfield><subfield code="c">V. Chandru ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 386 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1180</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algèbre processus</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">géométrie algorithmique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique théorique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique temporelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique équationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">Hyderabad Andhra Pradesh</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chandru, Vijay</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1180</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1180</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007413913&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007413913</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Hyderabad Andhra Pradesh gnd-content |
| genre_facet | Konferenzschrift 1996 Hyderabad Andhra Pradesh |
| id | DE-604.BV011068550 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:29Z |
| institution | BVB |
| isbn | 3540620346 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007413913 |
| oclc_num | 36242624 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-706 |
| physical | XI, 386 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Foundations of software technology and theoretical computer science 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings V. Chandru ... (eds.) Berlin [u.a.] Springer 1996 XI, 386 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1180 Informatica gtt Informatique - Congrès ram Logiciels - Congrès ram Programmatuurtechniek gtt algèbre processus inriac géométrie algorithmique inriac informatique théorique inriac logique temporelle inriac logique équationnelle inriac réécriture inriac sémantique inriac théorie complexité inriac théorie type inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Hyderabad Andhra Pradesh gnd-content Informatik (DE-588)4026894-9 s DE-604 Chandru, Vijay Sonstige oth Lecture notes in computer science 1180 (DE-604)BV000000607 1180 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007413913&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Foundations of software technology and theoretical computer science 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings Lecture notes in computer science Informatica gtt Informatique - Congrès ram Logiciels - Congrès ram Programmatuurtechniek gtt algèbre processus inriac géométrie algorithmique inriac informatique théorique inriac logique temporelle inriac logique équationnelle inriac réécriture inriac sémantique inriac théorie complexité inriac théorie type inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)1071861417 |
| title | Foundations of software technology and theoretical computer science 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings |
| title_auth | Foundations of software technology and theoretical computer science 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings |
| title_exact_search | Foundations of software technology and theoretical computer science 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings |
| title_full | Foundations of software technology and theoretical computer science 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings V. Chandru ... (eds.) |
| title_fullStr | Foundations of software technology and theoretical computer science 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings V. Chandru ... (eds.) |
| title_full_unstemmed | Foundations of software technology and theoretical computer science 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings V. Chandru ... (eds.) |
| title_short | Foundations of software technology and theoretical computer science |
| title_sort | foundations of software technology and theoretical computer science 16th conference hyderabad india december 18 20 1996 proceedings |
| title_sub | 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings |
| topic | Informatica gtt Informatique - Congrès ram Logiciels - Congrès ram Programmatuurtechniek gtt algèbre processus inriac géométrie algorithmique inriac informatique théorique inriac logique temporelle inriac logique équationnelle inriac réécriture inriac sémantique inriac théorie complexité inriac théorie type inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatica Informatique - Congrès Logiciels - Congrès Programmatuurtechniek algèbre processus géométrie algorithmique informatique théorique logique temporelle logique équationnelle réécriture sémantique théorie complexité théorie type Informatik Computer science Congresses Computer software Congresses Konferenzschrift 1996 Hyderabad Andhra Pradesh |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007413913&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT chandruvijay foundationsofsoftwaretechnologyandtheoreticalcomputerscience16thconferencehyderabadindiadecember18201996proceedings |