Logical foundations of computer science: third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1994
|
| Schriftenreihe: | Lecture notes in computer science
813 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 392 S. graph. Darst. |
| ISBN: | 3540581405 0387581405 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009594364 | ||
| 003 | DE-604 | ||
| 005 | 20140226 | ||
| 007 | t| | ||
| 008 | 940509s1994 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 941034933 |2 DE-101 | |
| 020 | |a 3540581405 |9 3-540-58140-5 | ||
| 020 | |a 0387581405 |9 0-387-58140-5 | ||
| 035 | |a (OCoLC)612144372 | ||
| 035 | |a (DE-599)BVBBV009594364 | ||
| 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-29T |a DE-19 |a DE-91G |a DE-20 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA75.5.L64 1994 | |
| 082 | 0 | |a 004/.01/5113 20 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logical foundations of computer science |b third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings |c A. Nerode ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1994 | |
| 300 | |a IX, 392 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 813 | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science -- Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical -- Congresses | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |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 Sankt Petersburg |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Nerode, Anil |d 1932- |e Sonstige |0 (DE-588)119133865 |4 oth | |
| 711 | 2 | |a LFCS |n 3 |d 1994 |c Sankt Petersburg |j Sonstige |0 (DE-588)2136523-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 813 |w (DE-604)BV000000607 |9 813 | |
| 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=006342211&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006342211 | |
Datensatz im Suchindex
| _version_ | 1820874842948239360 |
|---|---|
| adam_text |
CONTENTS
LOWER
BOUNDS
FOR
PROBABILISTIC
SPACE
COMPLEXITY:
COMMUNICATION-AUTOMATA
APPROACH
1
FARID
ABLAYEV
ON
MODEL
CHECKING
INFINITE-STATE
SYSTEMS
8
HENRIK
REIF
ANDERSEN
CONCURRENCY
PROBLEM
FOR
HOM
FRAGMENT
OF
GIRARD'S
LINEAR
LOGIC
18
DMITRY
A.
ARCHANGELSKY,
MIKHAIL
I.
DEKHTYAR,
EVGENY
KRUGLOV,
ILMIR
KH.
MUSIKAEV,
AND
MIKHAIL
A.
TAITSLIN
REFERENTIAL
DATA
STRUCTURES
AND
LABELED
MODAL
LOGIC
23
SERGEI
ART&NOV
AND
VLADIMIR
KRUPSKI
YET
ANOTHER
CORRECTNESS
CRITERION
FOR
MULTIPLICATIVE
LINEAR
LOGIC
WITH
MIX
34
ANDREA
ASPERTI
AND
GIOVANNA
DORE
AN
APPROACH
TO
EFFECTIVE
MODEL-CHECKING
OF
REAL-TIME
FINITE-STATE
MACHINES
IN
MU-CALCULUS
47
SA.
BEREZIN
AND
NIKOLAY
V.
SHILOV
ALLEGORIES
OF
CIRCUITS
56
CAROLYN
BROWN
AND
ALAN
JEFFREY
THE
COMPLEXITY
OF
PROPOSITIONAL
MODAL
THEORIES
AND
THE
COMPLEXITY
OF
CONSISTENCY
OF
PROPOSITIONAL
MODAL
THEORIES
69
CHENG-CHIA
CHEN
AND
I-PENG
LIN
MULTIPLICATIVE
LINEAR
LOGIC
FOR
RESOURCE
TRANSFORMATION
NETS
81
ALEXANDER
M.
DEKHTYAR
THE
PARAMETERIZED
COMPLEXITY
OF
SOME
PROBLEMS
IN
LOGIC
AND
LINGUISTICS
89
RODNEY
G.
DOWNEY,
MICHAEL
R.
FELLOWS,
BRUCE
M.
KAPRON,
MICHAEL
T.
HALLETT,
AND
H.
TODD
WAREHAM
FOUNDATIONS
OF
PROOF
SEARCH
STRATEGIES
DESIGN
IN
LINEAR
LOGIC
101
D.
GAHNICHE
AND
G.
PERRIER
ON
EXTREME
POINTS
OF
CONVEX
COMPACT
TURING
LOCATED
SET
114
XIAOLIN
GE
AND
ANIL
NERODE
VIII
APPLICATION
OF
TYPED
LAMBDA
CALCULI
IN
THE
UNTYPED
LAMBDA
CALCULUS
129
SILVIA
GHILEZAN
CLASSES
WITH
PAIRWISE
EQUIVALENT
ENUMERATIONS
140
S.S.
GONCHAROV
AND
SA.
BADAEV
STRONG
NORMALIZATION
IN
A
NON-DETERMINISTIC
TYPED
LAMBDA-CALCULUS
142
PHILIPPE
DE
GROOTE
ON
EXPRESSIVE
COMPLETENESS
OF
MODAL
LOGIC
153
BERNHARD
HEINEMANN
COMPARING
MODELS
OF
THE
NON-EXTENSIONAL
TYPED
LAMBDA-CALCULUS
164
R.
HOOFMAN
COALGEBRAS
AND
APPROXIMATION
T
173
BART
JACOBS
COMPUTATIONAL
AND
CONCURRENCY
MODELS
OF
LINEAR
LOGIC
184
MAX
I.
KANOVICH
THE
LONGEST
PERPETUAL
REDUCTIONS
IN
ORTHOGONAL
EXPRESSION
REDUCTION
SYSTEMS
191
ZURAB
KHASIDASHVIU
THE
NOTION
OF
RANK
AND
GAMES
204
BAKHADYR
KHOUSSAINOV
AND
ANIL
NERODE
A
PREDICATE
LOGIC
OF
WELL-FOUNDED
ACTIONS
218
MIKLE
KUCHUGANOV
PREDICATIVE
RECURRENCE
IN
FINITE
TYPES
227
DANIEL
LEIVANT
ARITY
VS.
ALTEMATION
IN
SECOND
ORDER
LOGIC
240
JA.
MAKOWSKY
AND
Y.B.
PNUELI
HEREDITARILY
SEQUENTIAL
FUNCTIONAIS
253
HANNO
NICKAU
PROPOSITIONAL
LINEAR
TEMPORAL
LOGIC
AND
LANGUAGE
HOMOMORPHISMS
265
ULRICH
NITSCHE
IX
AN
ABSTRACT
PROPERTY
OF
CONFLUENCE
APPLIED
TO
THE
STUDY
OF
THE
LAZY
PARTIAL
LAMBDA
CALCULUS
278
RAMTIN
PINO
PTREZ
AND
CHRISTIAN
EVEN
ON
SPECIALIZATION
OF
DERIVATIONS
IN
AXIOMATIC
EQUALITY
THEORIES
291
A.
PLIUSKEVICIENE
ANDR.
PLIUSKEVICIUS
PRESERVING
OF
ADMISSIBLE
INFERENCE
RULES
IN
MODAL
LOGIC
304
VLADIMIR
V.
RYBAKOV
PURE
TYPE
SYSTEMS
WITH
DEFINITIONS
316
PAULA
SEVERI
AND
ERIK
POLL
CRAIG
INTERPOLATION
PROPERTY
IN
MODAL
LOGICS
WITH
PROVABILITY
INTERPRETATION
329
TAIIANA
SIDON
REPRESENTING
NULL
VALUES
IN
LOGIC
PROGRAMMING
341
BONNIE
TRAYLOR
AND
MICHAEL
GELFOND
COMPARING
CUBES
353
STEFFEN
VAN
BAKEL,
LUIGI
LIQUORI,
SIMONA
RONCHI
DELLA
ROCCA,
AND
PAWEL
URZYCZYN
A
LOGIC
OF
CAPABILITIES
366
W.
VAN
DER
HOEK,
B.
VAN
LINDER,
AND
J.-J.CH.
MEYER
WEAK
ORTHOGONALITY
IMPLIES
CONFLUENCE:
THE
HIGHER-ORDER
CASE
379
VINCENT
VAN
OOSTROM
AND
FEMKE
VAN
RAAMSDONK |
| any_adam_object | 1 |
| author_GND | (DE-588)119133865 |
| building | Verbundindex |
| bvnumber | BV009594364 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5.L64 1994 |
| callnumber-search | QA75.5.L64 1994 |
| callnumber-sort | QA 275.5 L64 41994 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 120 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)612144372 (DE-599)BVBBV009594364 |
| dewey-full | 004/.01/511320 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/5113 20 |
| dewey-search | 004/.01/5113 20 |
| dewey-sort | 14 11 45113 220 |
| 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">BV009594364</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140226</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940509s1994 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941034933</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540581405</subfield><subfield code="9">3-540-58140-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387581405</subfield><subfield code="9">0-387-58140-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)612144372</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009594364</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-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</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">QA75.5.L64 1994</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/5113 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical foundations of computer science</subfield><subfield code="b">third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings</subfield><subfield code="c">A. Nerode ... (eds.)</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">IX, 392 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">813</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 -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Sankt Petersburg</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Nerode, Anil</subfield><subfield code="d">1932-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)119133865</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LFCS</subfield><subfield code="n">3</subfield><subfield code="d">1994</subfield><subfield code="c">Sankt Petersburg</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2136523-4</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">813</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">813</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=006342211&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-006342211</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Sankt Petersburg gnd-content |
| genre_facet | Konferenzschrift 1994 Sankt Petersburg |
| id | DE-604.BV009594364 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:10Z |
| institution | BVB |
| institution_GND | (DE-588)2136523-4 |
| isbn | 3540581405 0387581405 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006342211 |
| oclc_num | 612144372 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-29T DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-384 DE-739 DE-29T DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | IX, 392 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 | Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings A. Nerode ... (eds.) Berlin [u.a.] Springer 1994 IX, 392 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 813 Informatik Computer science -- Congresses Logic, Symbolic and mathematical -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Sankt Petersburg gnd-content Theoretische Informatik (DE-588)4196735-5 s Logik (DE-588)4036202-4 s DE-604 Informatik (DE-588)4026894-9 s Mathematische Logik (DE-588)4037951-6 s Nerode, Anil 1932- Sonstige (DE-588)119133865 oth LFCS 3 1994 Sankt Petersburg Sonstige (DE-588)2136523-4 oth Lecture notes in computer science 813 (DE-604)BV000000607 813 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006342211&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings Lecture notes in computer science Informatik Computer science -- Congresses Logic, Symbolic and mathematical -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings |
| title_auth | Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings |
| title_exact_search | Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings |
| title_full | Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings A. Nerode ... (eds.) |
| title_fullStr | Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings A. Nerode ... (eds.) |
| title_full_unstemmed | Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings A. Nerode ... (eds.) |
| title_short | Logical foundations of computer science |
| title_sort | logical foundations of computer science third international symposium lfcs 94 st petersburg russia july 11 14 1994 proceedings |
| title_sub | third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings |
| topic | Informatik Computer science -- Congresses Logic, Symbolic and mathematical -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatik Computer science -- Congresses Logic, Symbolic and mathematical -- Congresses Theoretische Informatik Mathematische Logik Logik Konferenzschrift 1994 Sankt Petersburg |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006342211&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT nerodeanil logicalfoundationsofcomputersciencethirdinternationalsymposiumlfcs94stpetersburgrussiajuly11141994proceedings AT lfcssanktpetersburg logicalfoundationsofcomputersciencethirdinternationalsymposiumlfcs94stpetersburgrussiajuly11141994proceedings |