Logic, language and computation Festschrift in honor of Satoru Takasu

Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:English
Veröffentlicht: Berlin u.a. Springer 1994
Schriftenreihe:Lecture notes in computer science 792
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV009252554
003 DE-604
005 20140226
007 t|
008 940314s1994 gw d||| |||| 01||| eng d
016 7 |a 940633043  |2 DE-101 
020 |a 3540579354  |9 3-540-57935-4 
020 |a 0387579354  |9 0-387-57935-4 
035 |a (OCoLC)299785647 
035 |a (DE-599)BVBBV009252554 
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-706  |a DE-83  |a DE-11  |a DE-188 
050 0 |a QA76.L56625 1994 
082 0 |a 005.1/01/5113 20 
082 0 |a 005.1015113 
084 |a SE 330  |0 (DE-625)142750:13794  |2 rvk 
084 |a ST 130  |0 (DE-625)143588:  |2 rvk 
084 |a DAT 557f  |2 stub 
084 |a DAT 549f  |2 stub 
084 |a 28  |2 sdnb 
245 1 0 |a Logic, language and computation  |b Festschrift in honor of Satoru Takasu  |c Neil D. Jones ... (eds.) 
264 1 |a Berlin u.a.  |b Springer  |c 1994 
300 |a XII, 269 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 792 
600 1 4 |a Takasu, Satoru, 1931- 
650 4 |a Informatik 
650 4 |a Computer science 
650 0 7 |a Theoretische Informatik  |0 (DE-588)4196735-5  |2 gnd  |9 rswk-swf 
655 7 |0 (DE-588)4143413-4  |a Aufsatzsammlung  |2 gnd-content 
655 7 |0 (DE-588)4016928-5  |a Festschrift  |2 gnd-content 
689 0 0 |a Theoretische Informatik  |0 (DE-588)4196735-5  |D s 
689 0 |5 DE-604 
700 1 |a Jones, Neil D.  |d 1941-  |e Sonstige  |0 (DE-588)124574521  |4 oth 
700 1 |a Takasu, Satoru  |d 1931-  |0 (DE-588)124574564  |4 hnr 
830 0 |a Lecture notes in computer science  |v 792  |w (DE-604)BV000000607  |9 792 
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=006157779&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA  |3 Inhaltsverzeichnis 
943 1 |a oai:aleph.bib-bvb.de:BVB01-006157779 

Datensatz im Suchindex

DE-BY-TUM_call_number 0102 DAT 001z 2001 A 999
DE-BY-TUM_katkey 619959
DE-BY-TUM_location 01
DE-BY-TUM_media_number 040020518389
_version_ 1822408814161297408
adam_text CONTENTS CONSTRUCTIVE TYPE THEORY LIFSCHITZ ' LOGIC OF CALCULABLE NUMBERS AND OPTIMIZATIONS IN PROGRAM EXTRACTION . 1 SUSUMU HAYASHI AND YUKIHIDE TAKAYAMA ON IMPLICIT ARGUMENTS . 10 MASAMI HAGIYA AND YOZO TODA A FUNCTIONAL SYSTEM WITH TRANSFINITELY DEFINED TYPES . 31 MARIKO YASUGI AND SUSUMU HAYASHI THE NON-DETERMINISTIC CATCH AND THROW MECHANISM AND ITS SUBJECT REDUCTION PROPERTY . ,61 HIROSHI NAKANO LAMBDA CALCULUS CONSERVATIVENESS OF A OVER A R-CALCULUS. 73 MASAHIKO SATO AND YUKIYOSHI KAMEYAMA ML WITH FIRST-CLASS ENVIRONMENTS AND ITS TYPE INFERENCE ALGORITHM . 95 SHIN-YA NISHIZAKI A SIMPLE PROOF OF THE GENERICITY LEMMA . 117 MASAKO TAKAHASHI LOGIC, ALGEBRA, AND APPLICATIONS THE LOGIC OF FOL SYSTEMS: FORMULATED IN SET THEORY . 119 RICHARD W. WEYHRAUCH AND CAROLYN TALCOTT WELL-ORDERING OF ALGEBRAS AND KRUSKAL ' S THEOREM . 133 RYU HASEGAWA ON LOCOMORPHISM IN ANALYTICAL EQUIVALENCE THEORY . 173 SHIGERU IGARASHI, TETSUYA MIZUTANI, TAKASHI TSUJI AND CHIHARU HOSONO ANALYSIS OF A SOFTWARE/HARDWARE SYSTEM BY TENSE ARITHMETIC . 188 KOHJI TOMITA, TAKASHI TSUJI AND SHIGERU IGARASHI XII PROGRAM TRANSFORMATION THE ESSENCE OF PROGRAM TRANSFORMATION BY PARTIAL EVALUATION AND DRIVING . 206 NEIL D. JONES PROGRAM TRANSFORMATION VIA CONTEXTUAL ASSERTIONS . 225 IAN A. MASON AND CAROLYN TALCOTT COMPLEXITY AND CODING ON CODING THEOREMS WITH MODIFIED LENGTH FUNCTIONS . 255 KOJIRO KOBAYASHI THIRTY FOUR COMPARISONS ARE REQUIRED TO SORT 13 ITEMS . 260 TAKUMI KASAI, SHUSAKU SAWATO AND SHIGEKI IWATA
any_adam_object 1
author_GND (DE-588)124574521
(DE-588)124574564
building Verbundindex
bvnumber BV009252554
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.L56625 1994
callnumber-search QA76.L56625 1994
callnumber-sort QA 276 L56625 41994
callnumber-subject QA - Mathematics
classification_rvk SE 330
ST 130
classification_tum DAT 557f
DAT 549f
ctrlnum (OCoLC)299785647
(DE-599)BVBBV009252554
dewey-full 005.1/01/511320
005.1015113
dewey-hundreds 000 - Computer science, information, general works
dewey-ones 005 - Computer programming, programs, data, security
dewey-raw 005.1/01/5113 20
005.1015113
dewey-search 005.1/01/5113 20
005.1015113
dewey-sort 15.1 11 45113 220
dewey-tens 000 - Computer science, information, general works
discipline Informatik
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">BV009252554</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140226</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940314s1994 gw d||| |||| 01||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940633043</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540579354</subfield><subfield code="9">3-540-57935-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387579354</subfield><subfield code="9">0-387-57935-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)299785647</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009252554</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-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.L56625 1994</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5113 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SE 330</subfield><subfield code="0">(DE-625)142750:13794</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 557f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 549f</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">Logic, language and computation</subfield><subfield code="b">Festschrift in honor of Satoru Takasu</subfield><subfield code="c">Neil D. Jones ... (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">XII, 269 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">792</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Takasu, Satoru, 1931-</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></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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jones, Neil D.</subfield><subfield code="d">1941-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124574521</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Takasu, Satoru</subfield><subfield code="d">1931-</subfield><subfield code="0">(DE-588)124574564</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">792</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">792</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&amp;doc_library=BVB01&amp;local_base=BVB01&amp;doc_number=006157779&amp;sequence=000001&amp;line_number=0001&amp;func_code=DB_RECORDS&amp;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-006157779</subfield></datafield></record></collection>
genre (DE-588)4143413-4 Aufsatzsammlung gnd-content
(DE-588)4016928-5 Festschrift gnd-content
genre_facet Aufsatzsammlung
Festschrift
id DE-604.BV009252554
illustrated Illustrated
indexdate 2025-01-27T13:27:58Z
institution BVB
isbn 3540579354
0387579354
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-006157779
oclc_num 299785647
open_access_boolean
owner DE-739
DE-384
DE-91G
DE-BY-TUM
DE-20
DE-19
DE-BY-UBM
DE-706
DE-83
DE-11
DE-188
owner_facet DE-739
DE-384
DE-91G
DE-BY-TUM
DE-20
DE-19
DE-BY-UBM
DE-706
DE-83
DE-11
DE-188
physical XII, 269 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 Logic, language and computation Festschrift in honor of Satoru Takasu Neil D. Jones ... (eds.)
Berlin u.a. Springer 1994
XII, 269 S. graph. Darst.
txt rdacontent
n rdamedia
nc rdacarrier
Lecture notes in computer science 792
Takasu, Satoru, 1931-
Informatik
Computer science
Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf
(DE-588)4143413-4 Aufsatzsammlung gnd-content
(DE-588)4016928-5 Festschrift gnd-content
Theoretische Informatik (DE-588)4196735-5 s
DE-604
Jones, Neil D. 1941- Sonstige (DE-588)124574521 oth
Takasu, Satoru 1931- (DE-588)124574564 hnr
Lecture notes in computer science 792 (DE-604)BV000000607 792
DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006157779&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle Logic, language and computation Festschrift in honor of Satoru Takasu
Lecture notes in computer science
Takasu, Satoru, 1931-
Informatik
Computer science
Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND (DE-588)4196735-5
(DE-588)4143413-4
(DE-588)4016928-5
title Logic, language and computation Festschrift in honor of Satoru Takasu
title_auth Logic, language and computation Festschrift in honor of Satoru Takasu
title_exact_search Logic, language and computation Festschrift in honor of Satoru Takasu
title_full Logic, language and computation Festschrift in honor of Satoru Takasu Neil D. Jones ... (eds.)
title_fullStr Logic, language and computation Festschrift in honor of Satoru Takasu Neil D. Jones ... (eds.)
title_full_unstemmed Logic, language and computation Festschrift in honor of Satoru Takasu Neil D. Jones ... (eds.)
title_short Logic, language and computation
title_sort logic language and computation festschrift in honor of satoru takasu
title_sub Festschrift in honor of Satoru Takasu
topic Takasu, Satoru, 1931-
Informatik
Computer science
Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet Takasu, Satoru, 1931-
Informatik
Computer science
Theoretische Informatik
Aufsatzsammlung
Festschrift
url http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006157779&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link (DE-604)BV000000607
work_keys_str_mv AT jonesneild logiclanguageandcomputationfestschriftinhonorofsatorutakasu
AT takasusatoru logiclanguageandcomputationfestschriftinhonorofsatorutakasu