Foundations of software technology and theoretical computer science: 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1994
|
| Series: | Lecture notes in computer science
880 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XI, 449 S. graph. Darst. |
| ISBN: | 3540587152 0387587152 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009888407 | ||
| 003 | DE-604 | ||
| 005 | 20070419 | ||
| 007 | t| | ||
| 008 | 941031s1994 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 942458001 |2 DE-101 | |
| 020 | |a 3540587152 |9 3-540-58715-2 | ||
| 020 | |a 0387587152 |9 0-387-58715-2 | ||
| 035 | |a (OCoLC)610909581 | ||
| 035 | |a (DE-599)BVBBV009888407 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-91G |a DE-20 |a DE-19 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.751 | |
| 082 | 0 | |a 004 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Foundations of software technology and theoretical computer science |b 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings |c FST and TCS 14. P. S. Thiagarajan (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1994 | |
| 300 | |a XI, 449 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 880 | |
| 650 | 7 | |a Informatique - Congrès |2 ram | |
| 650 | 4 | |a Logiciels - Congrès | |
| 650 | 7 | |a Logiciels - Congrès |2 ram | |
| 650 | 7 | |a Software Basico |2 larpcal | |
| 650 | 7 | |a Teoria Da Computacao |2 larpcal | |
| 650 | 7 | |a algorithme parallèle |2 inriac | |
| 650 | 7 | |a algorithme réparti |2 inriac | |
| 650 | 7 | |a algorithmique |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a géométrie algorithmique |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation sous contrainte |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 4 | |a Computer software |v Congresses | |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Madras |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Thiagarajan, Pazhamaneri S. |e Sonstige |4 oth | |
| 711 | 2 | |a FST and TCS |n 14 |d 1994 |c Madras |j Sonstige |0 (DE-588)2140850-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 880 |w (DE-604)BV000000607 |9 880 | |
| 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=006548002&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006548002 | |
Record in the Search Index
| _version_ | 1820874845071605760 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
TALK
EFFICIENT
RESOLUTION
OF
SINGULARITIES
OF
PLANE
CURVES
.
1
D.
KOZEN
COMPLEXITY
THEORY
ON
THE
INTERACTIVE
COMPLEXITY
OF
GRAPH
RELIABILITY
.
12
J.-M.
COUVEIGNES,
J.F.
DIAZ-FRIAS,
M.
DE
ROUGEMONT
AND
M.
SANTHA
MATCHING
UPPER
AND
LOWER
BOUNDS
FOR
SIMULATIONS
OF
SEVERAL
TAPES
ON
ONE
MULTIDIMENSIONAL
TAPE
.
24
M.
DIETZFELBINGER
AND
M.
HAEHNE
THE
COMPLEXITY
OF
COMPUTING
OVER
QUASIGROUPS
.
36
H.
CAUSSINUS
AND
F.
LEMIEUX
NON-COMMUTATIVE
COMPUTATION,
DEPTH
REDUCTION
AND
SKEW
CIRCUITS
.
48
M.
MAHAJAN
AND
V.
VINAY
INVITED
TALK
INDUCTIVE
DEFINITIONS
AND
TYPE
THEORY
AN
INTRODUCTION
(PRELIMINARY
VERSION)
.
60
T.
COQUAND
AND
P.
DYBJER
SEMANTICS
INTERPRETER
VERIFICATION
FOR
A
FUNCTIONAL
LANGUAGE
.
77
M.
BROY,
U.
HINKEL,
T.
NIPKOW,
C.
PREHOFER
AND
B.
SCHIEDER
AN
EPISTEMIC
FOUNDATION
FOR
LOGIC
PROGRAMMING
WITH
UNCERTAINTY
.
89
V.S.
LAKSHMANAN
ON
TYPED
CALCULI
WITH
A
MERGE
OPERATOR
.
101
H.
TSUIKI
ALGORITHMS
INCREMENTAL
ALGORITHMS
FOR
THE
SINGLE-SOURCE
SHORTEST
PATH
PROBLEM
.
113
D.
FRIGIONI,
A.
MARCHETTI-SPACCAMELA
AND
U.
NANNI
AN
O(N)
ALGORITHM
FOR
REALIZING
DEGREE
SEQUENCES
.
125
S.
RAO
ARIKATI
AND
A.
MAHESHWARI
COLORING
SEMI-RANDOM
GRAPHS
IN
POLYNOMIAL
EXPECTED
TIME
.
137
C.R.
SUBRAMANIAN
AND
C.E.
VENI
MADHAVAN
INVITED
TALK
FINITE-STATE
STRATEGIES
IN
REGULAR
INFINITE
GAMES
.
149
W.
THOMAS
X
ALGORITHMS
LOCATION
OF
THE
LARGEST
EMPTY
RECTANGLE
AMONG
ARBITRARY
OBSTACLES
.
159
S.C.
NANDY,
A.
SINHA
AND
B.B.
BHATTACHARYA
EFFICIENT
PARALLEL
AND
LINEAR
TIME
SEQUENTIAL
SPLIT
DECOMPOSITION
.
171
E.
DAHLHAUS
ALGORITHMS
FOR
CONVEX
VISIBILITY
PROBLEMS
.
181
S.
BISWAS,
D.C.
PRASAD
AND
S.P
PAL
LOWER
BOUNDS
FOR
PARALLEL
ALGEBRAIC
DECISION
TREES,
COMPLEXITY
OF
CONVEX
HULLS
AND
RELATED
PROBLEMS
.
193
S.
SEN
CONCURRENCY
LOCALITIES
AND
FAILURES
.
205
R.M.
AMADIO
AND
S.
PRASAD
PRIORITY
AND
ABSTRACTION
IN
PROCESS
ALGEBRA
.
217
V.
NATARAJAN,
I.
CHRISTOFF,
L.
CHRISTOFF
AND
R.
CLEAVELAND
ON
THE
COMPUTATIONAL
POWER
OF
OPERATORS
IN
ICSP
WITH
FAIRNESS
.
231
K.
NARAYAN
KUMAR
AND
P.K.
PANDYA
DECIDABILITY
OF
TIMED
LANGUAGE-INCLUSION
FOR
NETWORKS
OF
REAL-TIME
COMMUNICATING
SEQUENTIAL
PROCESSES
.
243
IV.
YI
AND
B.
JONSSON
INVITED
TALK
MY
FAVORITE
TEN
COMPLEXITY
THEOREMS
OF
THE
PAST
DECADE
.
256
L.
FORTNOW
UNIFICATION
SOLVING
A
UNIFICATION
PROBLEM
UNDER
CONSTRAINED
SUBSTITUTIONS
USING
TREE
AUTOMATA
.
276
Y.
KAJI,
T.
FUJIWARA
AND
T.
KASAMI
AUTOMAT
A-DRIVEN
EFFICIENT
SUBTERM
UNIFICATION
.
288
R.
RAMESH,
I.
V.
RAMAKRISHNAN
AND
R.
C.
SEKAR
INVITED
TALK
RANDOMIZED
APPROXIMATION
ALGORITHMS
IN
COMBINATORIAL
OPTIMIZATION
.
300
P.
RAGHAVAN
ALGORITHMS
A
LIMITED-BACKTRACK
GREEDY
SCHEMA
FOR
APPROXIMATION
ALGORITHMS
.
318
V.
ARORA,
V.
SANTOSH,
H.
SARAN
AND
V.
V.
VAZIRANI
XI
ON
APPROXIMATION
SCHEINE
PRESERVING
REDUCIBILITY
AND
ITS
APPLICATIONS
.
330
P.
CRESCENZI
AND
L.
TREVISAN
APPROXIMATION
SCHEMES
USING
L-REDUCTIONS
.
342
H.B.
HUNT
III,
M.
V.
MARAT
HE
,
V.
RADHAKRISHNAN,
S.S.
RAVI,
D.J.
ROSENKRANTZ
AND
R.E.
STEARNS
AN
EXPLANATION
OF
SPLAYING
.
354
ASHOK
SUBRAMANIAN
VERIFICATION
PROVING
NON-REACHABILITY
BY
MODULO-PLACE-INVARIANTS
.
366
J.
DESEI
AND
M.-D.
RADOLA
SOUNDNESS
AND
COMPLETENESS
OF
UNITY
LOGIC
.
378
E.
KNAPP
EFFICIENT
ALGORITHMS
FOR
THE
TRANSFORMATION
BETWEEN
DIFFERENT
TYPES
OF
BINARY
DECISION
DIAGRAMS
.
390
P.
SAVICKY
AND
I.
WEGENER
EXTENDING
THE
LIMITS
OF
SEQUENTIALLY
PHASED
REASONING
.
402
M.
SIEGEL
AND
F.A.
STOMP
APPLIED
ALGORITHMICS
FOUNDATIONS
FOR
FASTER
EXTERNAL
SORTING
.
414
V.
ESTIVILL
CASTRO
AND
D.
WOOD
BRANCHING
RULES
FOR
SATISFIABILITY
.
426
J.N.
HOOKER
AND
V.
VINAY
USING
LINEAR
ARITHMETIC
PROCEDURE
FOR
GENERATING
INDUCTION
SCHEMES
.
438
D.
KAPUR
AND
M.
SUBRAMANIAM |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV009888407 |
| 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 | ST 230 |
| classification_tum | DAT 310f DAT 500f |
| ctrlnum | (OCoLC)610909581 (DE-599)BVBBV009888407 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding 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">BV009888407</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070419</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">941031s1994 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">942458001</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540587152</subfield><subfield code="9">3-540-58715-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387587152</subfield><subfield code="9">0-387-58715-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)610909581</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009888407</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-739</subfield><subfield code="a">DE-384</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-11</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">004</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software technology and theoretical computer science</subfield><subfield code="b">14th conference, Madras, India, December 15 - 17, 1994 ; proceedings</subfield><subfield code="c">FST and TCS 14. P. S. Thiagarajan (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 449 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">880</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="4"><subfield code="a">Logiciels - Congrès</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">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">algorithme parallèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme réparti</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithmique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</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</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">programmation sous contrainte</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">théorie type</subfield><subfield code="2">inriac</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">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">1994</subfield><subfield code="z">Madras</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="689" ind1="1" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Thiagarajan, Pazhamaneri S.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FST and TCS</subfield><subfield code="n">14</subfield><subfield code="d">1994</subfield><subfield code="c">Madras</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2140850-6</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">880</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">880</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=006548002&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-006548002</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Madras gnd-content |
| genre_facet | Konferenzschrift 1994 Madras |
| id | DE-604.BV009888407 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:13Z |
| institution | BVB |
| institution_GND | (DE-588)2140850-6 |
| isbn | 3540587152 0387587152 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006548002 |
| oclc_num | 610909581 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | XI, 449 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| 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 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings FST and TCS 14. P. S. Thiagarajan (ed.) Berlin [u.a.] Springer 1994 XI, 449 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 880 Informatique - Congrès ram Logiciels - Congrès Logiciels - Congrès ram Software Basico larpcal Teoria Da Computacao larpcal algorithme parallèle inriac algorithme réparti inriac algorithmique inriac complexité inriac concurrence inriac géométrie algorithmique inriac informatique théorique inriac logique inriac programmation en logique inriac programmation sous contrainte inriac réécriture inriac théorie type inriac Computer software Congresses Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Madras gnd-content Informatik (DE-588)4026894-9 s DE-604 Datenverarbeitung (DE-588)4011152-0 s Thiagarajan, Pazhamaneri S. Sonstige oth FST and TCS 14 1994 Madras Sonstige (DE-588)2140850-6 oth Lecture notes in computer science 880 (DE-604)BV000000607 880 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006548002&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings Lecture notes in computer science Informatique - Congrès ram Logiciels - Congrès Logiciels - Congrès ram Software Basico larpcal Teoria Da Computacao larpcal algorithme parallèle inriac algorithme réparti inriac algorithmique inriac complexité inriac concurrence inriac géométrie algorithmique inriac informatique théorique inriac logique inriac programmation en logique inriac programmation sous contrainte inriac réécriture inriac théorie type inriac Computer software Congresses Datenverarbeitung (DE-588)4011152-0 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings |
| title_auth | Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings |
| title_exact_search | Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings |
| title_full | Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings FST and TCS 14. P. S. Thiagarajan (ed.) |
| title_fullStr | Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings FST and TCS 14. P. S. Thiagarajan (ed.) |
| title_full_unstemmed | Foundations of software technology and theoretical computer science 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings FST and TCS 14. P. S. Thiagarajan (ed.) |
| title_short | Foundations of software technology and theoretical computer science |
| title_sort | foundations of software technology and theoretical computer science 14th conference madras india december 15 17 1994 proceedings |
| title_sub | 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings |
| topic | Informatique - Congrès ram Logiciels - Congrès Logiciels - Congrès ram Software Basico larpcal Teoria Da Computacao larpcal algorithme parallèle inriac algorithme réparti inriac algorithmique inriac complexité inriac concurrence inriac géométrie algorithmique inriac informatique théorique inriac logique inriac programmation en logique inriac programmation sous contrainte inriac réécriture inriac théorie type inriac Computer software Congresses Datenverarbeitung (DE-588)4011152-0 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatique - Congrès Logiciels - Congrès Software Basico Teoria Da Computacao algorithme parallèle algorithme réparti algorithmique complexité concurrence géométrie algorithmique informatique théorique logique programmation en logique programmation sous contrainte réécriture théorie type Computer software Congresses Datenverarbeitung Informatik Konferenzschrift 1994 Madras |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006548002&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT thiagarajanpazhamaneris foundationsofsoftwaretechnologyandtheoreticalcomputerscience14thconferencemadrasindiadecember15171994proceedings AT fstandtcsmadras foundationsofsoftwaretechnologyandtheoreticalcomputerscience14thconferencemadrasindiadecember15171994proceedings |