Foundations of software technology and theoretical computer science: 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1997
|
| Schriftenreihe: | Lecture notes in computer science
1346 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 343 S. graph. Darst. |
| ISBN: | 3540638768 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011626661 | ||
| 003 | DE-604 | ||
| 005 | 20070502 | ||
| 007 | t| | ||
| 008 | 971104s1997 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 951846787 |2 DE-101 | |
| 020 | |a 3540638768 |c brosch. : DM 82.00 |9 3-540-63876-8 | ||
| 035 | |a (OCoLC)38155324 | ||
| 035 | |a (DE-599)BVBBV011626661 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-20 |a DE-91G |a DE-739 |a DE-384 |a DE-19 |a DE-521 |a DE-634 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.751 | |
| 082 | 0 | |a 001.64 |b L497, v.1346 |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 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings |c S. Ramesh ; G. Sivakumar (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1997 | |
| 300 | |a XI, 343 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 1346 | |
| 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 Software basico |2 larpcal | |
| 650 | 7 | |a Teoria da computacao |2 larpcal | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a programmation en logique |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 | 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 1997 |z Kharagpur West Bengal |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ramesh, S. |e Sonstige |0 (DE-588)124286038 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1346 |w (DE-604)BV000000607 |9 1346 | |
| 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=007834264&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007834264 | |
Datensatz im Suchindex
| _version_ | 1820874870889644032 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
TALK
1
VIJAYA
RAMACHANDRAN
QSM:
A
GENERAL
PURPOSE
SHARED-MEMORY
MODEL
FOR
PARALLEL
COMPUTATION
.
1
CONTRIBUTED
PAPER
SESSION
1
T.K.
DEY,
A.
ROY,
N.R.
SHAH
APPROXIMATING
GEOMETRIC
DOMAINS
THROUGH
TOPOLOGICAL
TRIANGULATIONS
.
6
S.
MAHAJAN,
E.
A.
RAMOS,
K.V.
SUBRAHMANYAM
SOLVING
SOME
DISCREPANCY
PROBLEMS
IN
NC
.
22
K.
CIRINO,
S.
MUTHUKRISHNAN,
N.
S.
NARAYANASWAMY,
H.
RAMESH
GRAPH
EDITING
TO
BIPARTITE
INTERVAL
GRAPHS:
EXACT
AND
ASYMPTOTIC
BOUNDS
.
37
INVITED
TALK
2
EDMUND
M.
CLARKE
JR.
MODEL
CHECKING
.
54
CONTRIBUTED
PAPER
SESSION
2
A.
J.
KFOURY
RECURSION
VERSUS
ITERATION
AT
HIGHER-ORDERS
.
57
A.
D.
GORDON,
P.
D.
HANKIN,
S.
B.
LASSEN
COMPILATION
AND
EQUIVALENCE
OF
IMPERATIVE
OBJECTS
.
74
M.
MARCHIORI
ON
THE
EXPRESSIVE
POWER
OF
REWRITING
.
88
INVITED
TALK
3
DEEPAK
KAPUR,
M.
SUBRAMANIAM
MECHANIZING
VERIFICATION
OF
ARITHMETIC
CIRCUITS:
SRT
DIVISION
.
103
CONTRIBUTED
PAPER
SESSION
3
E.
PONTELLI,
D.
RANJAN,
G.
GUPTA
ON
THE
COMPLEXITY
OF
PARALLEL
IMPLEMENTATION
OF
LOGIC
PROGRAMS
.
123
JIA-HUAI
YOU,
LI-YAN
YUAN,
RANDY
GOEBEL
AN
ABDUCTIVE
SEMANTICS
FOR
DISJUNCTIVE
LOGIC
PROGRAMS
AND
ITS
PROOF
PROCEDURE
.
138
CONTRIBUTED
PAPER
SESSION
4
S.
MOHALIK,
R.
RAMANUJAM
ASSUMPTION-COMMITMENT
IN
AUTOMATA
.
153
S.
S.
KULKARNI,
A.
ARORA
COMPOSITIONAL
DESIGN
OF
MULTITOLERANT
REPETITIVE
BYZANTINE
AGREEMENT
.
.
.
169
INVITED
TALK
4
MADHU
SUDAN
ALGORITHMIC
ISSUES
IN
CODING
THEORY
.
184
CONTRIBUTED
PAPER
SESSION
5
A.
SETH
SHARPER
RESULTS
ON
THE
EXPRESSIVE
POWER
OF
GENERALIZED
QUANTIFIERS
.
200
N.V.
VINODCHANDRAN
IMPROVED
LOWNESS
RESULTS
FOR
SOLVABLE
BLACK-BOX
GROUP
PROBLEMS
.
220
V.
ARVIND,
J.
KOEBLER
ON
RESOURCE-BOUNDED
MEASURE
AND
PSEUDORANDOMNESS
.
235
INVITED
TALK
5
MOSHE
Y.
VARDI
VERIFICATION
OF
OPEN
SYSTEMS
.
250
CONTRIBUTED
PAPER
SESSION
6
F.
S.
DE
BOER,
U.
HANNEMANN,
W.
-P.
DE
ROEVER
HOARE-STYLE
COMPOSITIONAL
PROOF
SYSTEMS
FOR
REACTIVE
SHARED
VARIABLE
CONCURRENCY
.
267
K.
S.
NAMJOSHI
A
SIMPLE
CHARACTERIZATION
OF
STUTTERING
BISIMULATION
.
284
CONTRIBUTED
PAPER
SESSION
7
R.
DEVILLERS,
H.
KLAUDEL,
R.
-C.
RIEMANN
GENERAL
REFINEMENT
FOR
HIGH
LEVEL
PETRI
NETS
.
297
C.
DUFOURD,
A.
FINKEL
POLYNOMIAL-TIME
MANY-ONE
REDUCTIONS
FOR
PETRI
NETS
.
312
B.
GRAVES
COMPUTING
REACHABILITY
PROPERTIES
HIDDEN
IN
FINITE
NET
UNFOLDINGS
.
327
AUTHOR
INDEX
.
343 |
| any_adam_object | 1 |
| author_GND | (DE-588)124286038 |
| building | Verbundindex |
| bvnumber | BV011626661 |
| 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 1997 SS 4800 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)38155324 (DE-599)BVBBV011626661 |
| 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">BV011626661</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070502</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">971104s1997 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">951846787</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540638768</subfield><subfield code="c">brosch. : DM 82.00</subfield><subfield code="9">3-540-63876-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38155324</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011626661</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-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</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.1346</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">17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings</subfield><subfield code="c">S. Ramesh ; G. Sivakumar (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 343 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">1346</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">Software basico</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria da computacao</subfield><subfield code="2">larpcal</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">programmation en logique</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="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">1997</subfield><subfield code="z">Kharagpur West Bengal</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">Ramesh, S.</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124286038</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">1346</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1346</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=007834264&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-007834264</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Kharagpur West Bengal gnd-content |
| genre_facet | Konferenzschrift 1997 Kharagpur West Bengal |
| id | DE-604.BV011626661 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:37Z |
| institution | BVB |
| isbn | 3540638768 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007834264 |
| oclc_num | 38155324 |
| open_access_boolean | |
| owner | DE-20 DE-91G DE-BY-TUM DE-739 DE-384 DE-19 DE-BY-UBM DE-521 DE-634 DE-83 DE-188 DE-706 |
| owner_facet | DE-20 DE-91G DE-BY-TUM DE-739 DE-384 DE-19 DE-BY-UBM DE-521 DE-634 DE-83 DE-188 DE-706 |
| physical | XI, 343 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| 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 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings S. Ramesh ; G. Sivakumar (eds.) Berlin [u.a.] Springer 1997 XI, 343 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1346 Informatica gtt Informatique - Congrès ram Logiciels - Congrès ram Programmatuurtechniek gtt Software basico larpcal Teoria da computacao larpcal informatique théorique inriac programmation en logique inriac réécriture inriac sémantique inriac théorie complexité inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Kharagpur West Bengal gnd-content Informatik (DE-588)4026894-9 s DE-604 Ramesh, S. Sonstige (DE-588)124286038 oth Lecture notes in computer science 1346 (DE-604)BV000000607 1346 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007834264&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings Lecture notes in computer science Informatica gtt Informatique - Congrès ram Logiciels - Congrès ram Programmatuurtechniek gtt Software basico larpcal Teoria da computacao larpcal informatique théorique inriac programmation en logique inriac réécriture inriac sémantique inriac théorie complexité 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 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings |
| title_auth | Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings |
| title_exact_search | Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings |
| title_full | Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings S. Ramesh ; G. Sivakumar (eds.) |
| title_fullStr | Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings S. Ramesh ; G. Sivakumar (eds.) |
| title_full_unstemmed | Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings S. Ramesh ; G. Sivakumar (eds.) |
| title_short | Foundations of software technology and theoretical computer science |
| title_sort | foundations of software technology and theoretical computer science 17th conference kharagpur india december 18 20 1997 proceedings |
| title_sub | 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings |
| topic | Informatica gtt Informatique - Congrès ram Logiciels - Congrès ram Programmatuurtechniek gtt Software basico larpcal Teoria da computacao larpcal informatique théorique inriac programmation en logique inriac réécriture inriac sémantique inriac théorie complexité inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatica Informatique - Congrès Logiciels - Congrès Programmatuurtechniek Software basico Teoria da computacao informatique théorique programmation en logique réécriture sémantique théorie complexité Informatik Computer science Congresses Computer software Congresses Konferenzschrift 1997 Kharagpur West Bengal |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007834264&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT rameshs foundationsofsoftwaretechnologyandtheoreticalcomputerscience17thconferencekharagpurindiadecember18201997proceedings |