Logical methods: in honor of Anil Nerode's sixtieth birthday
Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are principally concerned with mathematical logic and some of its applications in computing. The book...
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Boston u.a.
Birkhäuser
1993
|
| Schriftenreihe: | Progress in computer science and applied logic
12 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are principally concerned with mathematical logic and some of its applications in computing. The book contains papers on recursion theory, intuitionism, computability in group theory, recursive model theory, reverse mathematics, and the extraction of programs from proofs Included also is a thorough survey of Nerode's technical achievements over the last 30 years Any logician should find something, and most probably many items, of interest. We note particularly new developments in the understanding of the property of intuitionistic set theory and intuitionistic analysis, the extension of computability in ordinary mathematics pioneered by Marian Boyka Pour-El and Ian Richards, the proof-theoretic strength of a long-standing conjecture of Fraisse, and an extension and further account of the Curry-Howard method of extracting programs from logical proofs |
| Beschreibung: | 813 S. Ill. |
| ISBN: | 3764336900 0817636900 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009628980 | ||
| 003 | DE-604 | ||
| 005 | 20100702 | ||
| 007 | t | ||
| 008 | 940530s1993 gw a||| |||| 01||| eng d | ||
| 016 | 7 | |a 940204983 |2 DE-101 | |
| 020 | |a 3764336900 |9 3-7643-3690-0 | ||
| 020 | |a 0817636900 |9 0-8176-3690-0 | ||
| 035 | |a (OCoLC)28929588 | ||
| 035 | |a (DE-599)BVBBV009628980 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.63.L59 | |
| 082 | 0 | |a 511 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a Logical methods |b in honor of Anil Nerode's sixtieth birthday |c John N. Crossley ... ed. |
| 264 | 1 | |a Boston u.a. |b Birkhäuser |c 1993 | |
| 300 | |a 813 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Progress in computer science and applied logic |v 12 | |
| 520 | 3 | |a Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are principally concerned with mathematical logic and some of its applications in computing. The book contains papers on recursion theory, intuitionism, computability in group theory, recursive model theory, reverse mathematics, and the extraction of programs from proofs | |
| 520 | |a Included also is a thorough survey of Nerode's technical achievements over the last 30 years | ||
| 520 | |a Any logician should find something, and most probably many items, of interest. We note particularly new developments in the understanding of the property of intuitionistic set theory and intuitionistic analysis, the extension of computability in ordinary mathematics pioneered by Marian Boyka Pour-El and Ian Richards, the proof-theoretic strength of a long-standing conjecture of Fraisse, and an extension and further account of the Curry-Howard method of extracting programs from logical proofs | ||
| 600 | 1 | 4 | |a Nerode, Anil <1932-> |
| 600 | 1 | 4 | |a Nerode, Anil <1932-> |
| 600 | 1 | 7 | |a Nerode, Anil |d 1932- |0 (DE-588)119133865 |2 gnd |9 rswk-swf |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 4 | |a Programmation logique | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4006432-3 |a Bibliografie |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Ithaca NY |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Ithaca, NY |2 gnd-content | |
| 689 | 0 | 0 | |a Nerode, Anil |d 1932- |0 (DE-588)119133865 |D p |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-188 | |
| 689 | 2 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 2 | |5 DE-188 | |
| 689 | 3 | 0 | |a Nerode, Anil |d 1932- |0 (DE-588)119133865 |D p |
| 689 | 3 | |5 DE-188 | |
| 700 | 1 | |a Crossley, John N. |e Sonstige |4 oth | |
| 700 | 1 | |a Nerode, Anil |d 1932- |0 (DE-588)119133865 |4 hnr | |
| 830 | 0 | |a Progress in computer science and applied logic |v 12 |w (DE-604)BV004157568 |9 12 | |
| 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=006363743&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| _version_ | 1805067011867279360 |
|---|---|
| adam_text |
CONTENTS
PREFACE
.
LIST
OF
PARTICIPANTS
.
X
II
THE
WORK
OF
ANIL
NERODE:
A
RETROSPECTIVE
JEFFREY
B.
REMMEL
AND
JOHN
N.
CROSSLEY
.
1
BIBLIOGRAPHY
OF
ANIL
NERODE
.
86
EMBEDDING
DISTRIBUTIVE
LATTICES
PRESERVING
1
BELOW
A
NONZERO
RECURSIVELY
ENUMERABLE
TURING
DEGREE
KLAUS
AMBOS-SPIES,
DING
DECHENG,
AND
PETER
A.
FEJER
.
92
PRIME
ISOLS
AND
THE
THEOREMS
OF
FERMAT
AND
WILSON
J.
BARBACK
.
130
PROBLEM
SOLVING
STRATEGIES
FOR
THE
DERIVATION
OF
PROGRAMS
JAIME
BOHORQUEZ
AND
RODRIGO
CARDOSO
.
143
EFFECTIVE
REAL
DYNAMICS
DOUGLAS
CENZER
.
162
AN
INTEGER
LATTICE
ARISING
IN
THE
MODEL
THEORY
OF
WREATH
PRODUCTS
GREGORY
CHERLIN
AND
GARY
MARTIN
.
178
UNDECIDABILITY
AND
DEFINABILITY
FOR
PARAMETRIZED
POLYNOMIAL
TIME
M-REDUCIBILITIES
PETER
CHOLAK
AND
ROD
DOWNEY
.
194
EXTRACTING
PROGRAMS
FROM
PROOFS
BY
AN
EXTENSION
OF
THE
CURRY-HOWARD
PROCESS
JOHN
N.
CROSSLEY
AND
JOHN
C.
SHEPHERDSON
.
222
A
BIRD
'
S-EYE
VIEW
OF
TWILIGHT
COMBINATORICS
J.
C.
E.
DEKKER
.
289
EFFECTIVELY
AND
NONEFFECTIVELY
NOWHERE
SIMPLE
SUBSPACES
R.
G.
DOWNEY
AND
JEFFREY
B.
REMMEL
.
314
INDEX
SETS
IN
RECURSIVE
COMBINATORICS
WILLIAM
GASARCH
AND
GEORGIA
MARTIN
.
352
COMPUTABILITY
IN
UNITARY
REPRESENTATIONS
OF
COMPACT
GROUPS
XIAOLIN
GE
AND
J.
IAN
RICHARDS
.
386
RECURSIVE
PROPERTIES
OF
INTERVALS
OF
RECURSIVE
LINEAR
ORDERS
GEOFFREY
HIRD
.
422
ALGORITHMIC
STABILITY
OF
MODELS
B.
M.
KHOUSSAINOV
AND
R.
DADAJANOV
.
438
THE
COMBINATORICS
OF
THE
FRIEDBERG-MUCHNICK
THEOREM
KYRIAKOS
KONTOSTATHIS
.
467
PARTIAL
AUTOMATA
AND
FINITELY
GENERATED
CONGRUENCES:
AN
EXTENSION
OF
NERODE
'
S
THEOREM
D.
KOZEN
.
490
MINIMAL
PAIR
CONSTRUCTIONS
AND
ITERATED
TREES
OF
STRATEGIES
S.
LEMPP,
M.
LERMAN,
AND
F.
WEBER
.
512
INTUITIONISTIC
L
ROBERT
S.
LUBARSKY
.
555
N-RECURSIVE
LINEAR
ORDERS
WITHOUT
(N
+
1)-RECURSIVE
COPIES
MICHAEL
MOSES
.
572
MULTIPLE
AGENT
AUTONOMOUS
CONTROL
-
A
HYBRID
SYSTEMS
ARCHITECTURE
ANIL
NERODE
AND
WOLF
KOHN
.
593
DISTRIBUTED
CONCURRENT
PROGRAMS
AS
STRATEGIES
IN
GAMES
ANIL
NERODE,
ALEXANDER
YAKHNIS,
AND
VLADIMIR
YAKHNIS
.
.
624
DEMPSTER-SHAFER
LOGIC
PROGRAMS
AND
STABLE
SEMANTICS
RAYMOND
NG
AND
V.
S.
SUBRAHMANIAN
.
654
WHO
PUT
THE
"
BACK
"
IN
BACK-AND-FORTH?
J.
M.
PLOTKIN
.
705
POLYNOMIAL
TIME
CATEGORICITY
AND
LINEAR
ORDERINGS
JEFFREY
B.
REMMEL
.
713
THE
DISJUNCTION
AND
NUMERICAL
EXISTENCE
PROPERTIES
FOR
INTUITIONISTIC
ANALYSIS
PHILIP
SCOWCROFT
.
747
ON
THE
STRENGTH
OF
FRAISSE
'
S
CONJECTURE
RICHARD
A.
SHORE
.
782 |
| any_adam_object | 1 |
| author_GND | (DE-588)119133865 |
| building | Verbundindex |
| bvnumber | BV009628980 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63.L59 |
| callnumber-search | QA76.63.L59 |
| callnumber-sort | QA 276.63 L59 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)28929588 (DE-599)BVBBV009628980 |
| dewey-full | 511 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511 |
| dewey-search | 511 |
| dewey-sort | 3511 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| 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">BV009628980</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100702</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940530s1993 gw a||| |||| 01||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940204983</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3764336900</subfield><subfield code="9">3-7643-3690-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0817636900</subfield><subfield code="9">0-8176-3690-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28929588</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009628980</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-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63.L59</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical methods</subfield><subfield code="b">in honor of Anil Nerode's sixtieth birthday</subfield><subfield code="c">John N. Crossley ... ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston u.a.</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">813 S.</subfield><subfield code="b">Ill.</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">Progress in computer science and applied logic</subfield><subfield code="v">12</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are principally concerned with mathematical logic and some of its applications in computing. The book contains papers on recursion theory, intuitionism, computability in group theory, recursive model theory, reverse mathematics, and the extraction of programs from proofs</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Included also is a thorough survey of Nerode's technical achievements over the last 30 years</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Any logician should find something, and most probably many items, of interest. We note particularly new developments in the understanding of the property of intuitionistic set theory and intuitionistic analysis, the extension of computability in ordinary mathematics pioneered by Marian Boyka Pour-El and Ian Richards, the proof-theoretic strength of a long-standing conjecture of Fraisse, and an extension and further account of the Curry-Howard method of extracting programs from logical proofs</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Nerode, Anil <1932-></subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Nerode, Anil <1932-></subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Nerode, Anil</subfield><subfield code="d">1932-</subfield><subfield code="0">(DE-588)119133865</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4006432-3</subfield><subfield code="a">Bibliografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Ithaca NY</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Ithaca, NY</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nerode, Anil</subfield><subfield code="d">1932-</subfield><subfield code="0">(DE-588)119133865</subfield><subfield code="D">p</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">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-188</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Nerode, Anil</subfield><subfield code="d">1932-</subfield><subfield code="0">(DE-588)119133865</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Crossley, John N.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nerode, Anil</subfield><subfield code="d">1932-</subfield><subfield code="0">(DE-588)119133865</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Progress in computer science and applied logic</subfield><subfield code="v">12</subfield><subfield code="w">(DE-604)BV004157568</subfield><subfield code="9">12</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=006363743&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)4006432-3 Bibliografie gnd-content (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 1992 Ithaca NY gnd-content (DE-588)1071861417 Konferenzschrift 1992 Ithaca, NY gnd-content |
| genre_facet | Bibliografie Festschrift Konferenzschrift 1992 Ithaca NY Konferenzschrift 1992 Ithaca, NY |
| id | DE-604.BV009628980 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T03:27:27Z |
| institution | BVB |
| isbn | 3764336900 0817636900 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006363743 |
| oclc_num | 28929588 |
| open_access_boolean | |
| owner | DE-739 DE-11 DE-188 |
| owner_facet | DE-739 DE-11 DE-188 |
| physical | 813 S. Ill. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Birkhäuser |
| record_format | marc |
| series | Progress in computer science and applied logic |
| series2 | Progress in computer science and applied logic |
| spelling | Logical methods in honor of Anil Nerode's sixtieth birthday John N. Crossley ... ed. Boston u.a. Birkhäuser 1993 813 S. Ill. txt rdacontent n rdamedia nc rdacarrier Progress in computer science and applied logic 12 Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are principally concerned with mathematical logic and some of its applications in computing. The book contains papers on recursion theory, intuitionism, computability in group theory, recursive model theory, reverse mathematics, and the extraction of programs from proofs Included also is a thorough survey of Nerode's technical achievements over the last 30 years Any logician should find something, and most probably many items, of interest. We note particularly new developments in the understanding of the property of intuitionistic set theory and intuitionistic analysis, the extension of computability in ordinary mathematics pioneered by Marian Boyka Pour-El and Ian Richards, the proof-theoretic strength of a long-standing conjecture of Fraisse, and an extension and further account of the Curry-Howard method of extracting programs from logical proofs Nerode, Anil <1932-> Nerode, Anil 1932- (DE-588)119133865 gnd rswk-swf Logique symbolique et mathématique Logique symbolique et mathématique ram Programmation logique Programmation logique ram Logic programming Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)4006432-3 Bibliografie gnd-content (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 1992 Ithaca NY gnd-content (DE-588)1071861417 Konferenzschrift 1992 Ithaca, NY gnd-content Nerode, Anil 1932- (DE-588)119133865 p DE-604 Mathematische Logik (DE-588)4037951-6 s DE-188 Logische Programmierung (DE-588)4195096-3 s Crossley, John N. Sonstige oth Nerode, Anil 1932- (DE-588)119133865 hnr Progress in computer science and applied logic 12 (DE-604)BV004157568 12 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006363743&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logical methods in honor of Anil Nerode's sixtieth birthday Progress in computer science and applied logic Nerode, Anil <1932-> Nerode, Anil 1932- (DE-588)119133865 gnd Logique symbolique et mathématique Logique symbolique et mathématique ram Programmation logique Programmation logique ram Logic programming Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)119133865 (DE-588)4037951-6 (DE-588)4195096-3 (DE-588)4006432-3 (DE-588)4016928-5 (DE-588)1071861417 |
| title | Logical methods in honor of Anil Nerode's sixtieth birthday |
| title_auth | Logical methods in honor of Anil Nerode's sixtieth birthday |
| title_exact_search | Logical methods in honor of Anil Nerode's sixtieth birthday |
| title_full | Logical methods in honor of Anil Nerode's sixtieth birthday John N. Crossley ... ed. |
| title_fullStr | Logical methods in honor of Anil Nerode's sixtieth birthday John N. Crossley ... ed. |
| title_full_unstemmed | Logical methods in honor of Anil Nerode's sixtieth birthday John N. Crossley ... ed. |
| title_short | Logical methods |
| title_sort | logical methods in honor of anil nerode s sixtieth birthday |
| title_sub | in honor of Anil Nerode's sixtieth birthday |
| topic | Nerode, Anil <1932-> Nerode, Anil 1932- (DE-588)119133865 gnd Logique symbolique et mathématique Logique symbolique et mathématique ram Programmation logique Programmation logique ram Logic programming Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Nerode, Anil <1932-> Nerode, Anil 1932- Logique symbolique et mathématique Programmation logique Logic programming Logic, Symbolic and mathematical Mathematische Logik Logische Programmierung Bibliografie Festschrift Konferenzschrift 1992 Ithaca NY Konferenzschrift 1992 Ithaca, NY |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006363743&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004157568 |
| work_keys_str_mv | AT crossleyjohnn logicalmethodsinhonorofanilnerodessixtiethbirthday AT nerodeanil logicalmethodsinhonorofanilnerodessixtiethbirthday |