Algebraic engineering: proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Singapore [u.a.]
World Scientific
1999
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XXVII, 554 S. graph. Darst. |
| ISBN: | 9810236670 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012818294 | ||
| 003 | DE-604 | ||
| 005 | 20000105 | ||
| 007 | t| | ||
| 008 | 991019s1999 xx d||| |||| 10||| eng d | ||
| 020 | |a 9810236670 |9 981-02-3667-0 | ||
| 035 | |a (OCoLC)246429567 | ||
| 035 | |a (DE-599)BVBBV012818294 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 050 | 0 | |a QA267.3 | |
| 082 | 0 | |a 511.3 | |
| 245 | 1 | 0 | |a Algebraic engineering |b proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997 |c eds. Chrystopher L. Nehaniv ... |
| 264 | 1 | |a Singapore [u.a.] |b World Scientific |c 1999 | |
| 300 | |a XXVII, 554 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Semigroups | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Nehaniv, Chrystopher L. |d 1963- |e Sonstige |0 (DE-588)120990571 |4 oth | |
| 711 | 2 | |a International Workshop on Formal Languages and Computer Systems |d 1997 |c Kyōto |j Sonstige |0 (DE-588)1243653-7 |4 oth | |
| 711 | 2 | |a International Conference on Semigroups and Algebraic Engineering |n 1 |d 1997 |c Aizu-Wakamatsu |j Sonstige |0 (DE-588)1243654-9 |4 oth | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008719474&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008719474 | |
Datensatz im Suchindex
| _version_ | 1820882533733105664 |
|---|---|
| adam_text |
ALGEBRAIC ENGINEERING PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON
FORMAL LANGUAGES AND COMPUTER SYSTEMS KYOTO, JAPAN 18-21 MARCH 1997 AND
THE FIRST INTERNATIONAL CONFERENCE ON SEMIGROUPS AND ALGEBRAIC
ENGINEERING AIZU, JAPAN 24-28 MARCH 1997 EDITORS CHRYSTOPHER L. NEHANIV
UNIVERSITY OF AIZU, JAPAN MASAMI ITO KYOTO SANGYO UNIVERSITY, JAPAN
WORLD SCIENTIFIC SINGAPORE *NEW JERSEY LONDON* HONG KONG XI TABLE OF
CONTENTS FOREWORD VII DETAILS OF THE KYOTO WORKSHOP AND AIZU CONFERENCE
XV ALGEBRAIC ENGINEERING ALGEBRA FOR UNDERSTANDING 1 CHRYSTOPHER L.
NEHANIV HIDDEN ALGEBRAIC ENGINEERING 17 JOSEPH A. GOGUEN DELAY
INSENSITIVITY AND TERNARY SIMULATION 37 J. A. BRZOZOWSKI DYNAMICS AND
TIME SYSTEM TIME AND SYSTEM TIMING 38 VICTOR VARSHAVSKY SEMIGROUP
REPRESENTATIONS AND DYNAMICAL SYSTEMS 58 /. K. RYSTSOV THE MONOID AND
THE BAND OF A PETRI NET 61 ELKE WILKEIT ONE-ORBIT TRANSFORMATION
SEMIGROUPS ON FINITE SETS 77 TATSUHIKO SAITO ANALYSIS OF ASYNCHRONOUS
HIGHER-ORDER DISCRETE NEURAL NETWORKS 84 YOUICHI KOBUCHI BIOLOGICAL
SYSTEMS COMPLEX ADAPTATIONS AND THE STRUCTURE OF RECOMBINATION SPACES 96
GIINTER P. WAGNER AND PETER F. STADLER LIFE MORPHOGENESIS IN MODELS 116
ALEXANDER V. SPIROV COMPLEXITY, LOGIC AND GEOMETRY GEOMETRIC SEMIGROUP
THEORY 126 JON MCCAMMOND AND JOHN RHODES XII DECIDABLE AND UNDECIDABLE
PROBLEMS FOR SEMIGROUP PSEUDOVARIETIES 151 S. I. KUBLANOVSKY UNIMODULAR
REGULAR TRIANGULATIONS OF (O,L)-POLYTOPES ASSOCIATED WITH FINITE GRAPHS
159 HIDEFUMI OHSUGI COLLAPSING THEOREM FOR THE SLOW-GROWING AND AN
EXTENDED HARDY HIERARCHIES 172 O. TAKAKI MODIFIED READABILITY FOR TRDB
186 O. TAKAKI AND M. YASVGI TILINGS AND CODES A CHANGE-OF-COORDINATES
FROM GEOMETRY TO ALGEBRA, APPLIED TO BRICK TILINGS 201 JONATHAN L. KING
INTRODUCTION TO BICODES 219 K. HASHIGUCHI, T. MIZOGUCHI AND N. NOUDA
BRICK CODES 230 WLODZIMIERZ MOCZURAD BINARY DISTANCE CODES 238 K.
HASHIGUCHI, S. MOXIRI, S. JIMBO AND H. YOSHIOKA AUTOMATA, DECOMPOSITIONS
AND COMPUTATION ON COMPLETE SYSTEMS OF AUTOMATA 260 PAL DOMOSI AND
CHRYSTOPHER L. NEHANIV BLANKET ALGEBRA FOR MULTIPLE-VALUED FUNCTION
DECOMPOSITION 262 J. A. BRZOZOWSKI AND J. J. LOU NETS OF PROBABILISTIC
PROCESSORS AS A POWERFUL MEANS OF COMPUTATION AND MODELLING 277 RAIS
BUKHARAEV ^-DENSITY AND U-CONTINUITY ON CONDITIONAL SEMINEAR-RINGS 290
GABRIEL CIOBANU AND BOGDAN ROMILA PARALLEL COMPUTATION: THE JOIN OF
PSEUDOVARIETIES 302 BEN STEINBERG EXTENDED FINITE AUTOMATA OVER GROUPS :
317 V. MITRANA AND R. STIEBE XIII SOME IDENTITIES RELATED TO AUTOMATA,
DETERMINANTS, AND MOBIUS FUNCTIONS 330 VOLKER DIEKERT AND YUJI KOBAYASHI
SOFTWARE SYSTEMS PARALLEL SYMBOLIC SIMULATION USING THE ALGEBRAIC
PROGRAMMING SYSTEM. 350 A. A. LETICHEVSKY, J. V. KAPITONOVA, A. E.
DOROSHENKO AND V. A. VOLKOV A CONCEPTUAL VIEW ON UPDATES OF OBJECT BASES
361 ROLAND KASCHEK SEMIGROUP AND MONOID PSEUDOVARIETIES CONDITIONAL
EQUATIONS FOR PSEUDOVARIETIES 376 M. V. VOLKOV TYPE-I SUBSEMIGROUPS,
REVISITED 390 KARSTEN HENCKELL POWER SEMIGROUPS: RESULTS AND PROBLEMS
399 JORGE ALMEIDA BG = PG, REVISITED 416 KARSTEN HENCKELL ON
W-IDENTITIES OF FINITE SEMIGROUPS 427 ILYA YU. ZHIL'TSOV SEMIGROUPS AND
ALGEBRA UNIVERSAL ASPECTS OF REGULAR *-SEMIGROUPS 437 ZHONGHAO JIANG AND
PETER G. TROTTER NORMAL FORMS OF HYPERSUBSTITUTIONS 448 K. DENECKE AND
J. KOPPITZ ON STRUCTURALLY ORTHODOX SEMIGROUPS 462 SAMUEL J. L. KOPAMU
KRONECKER FUNCTION RINGS OF SEMISTAR-OPERATIONS ON SEMIGROUPS AND RINGS
473 RYUKI MATSUDA WORDS, LANGUAGES AND GRAMMARS SHUFFLE PRODUCTS AND
RELATED OPERATIONS ON LANGUAGES 484 MASAMI ITO XIV DECIMATIONS AND
STURMIAN WORDS 494 JACQUES JUSTIN AND GIUSEPPE PIRILLO THE EQUATIONAL
PROPERTIES OF REVERSAL 502 Z. ESIK, M. ITO AND M. KATSURA ON THE
RELATIONS BETWEEN MULTI-DEPTH GRAMMARS AND LABEL-DISTINGUISHED CONTROL
GRAMMARS 522 ALESSANDRA CHERUBINI AND PIERLUIGI SAN PIETRO NEW PUMPING
LEMMA FOR LINEAR INDEXED LANGUAGES 533 PAL DOMOSI, JIIRGEN DUSKE AND
MANFRED KUDLEK MODULAR PROPERTIES OF MONOIDS AND STRING-REWRITING
SYSTEMS 538 FRIEDRICH OTTO |
| any_adam_object | 1 |
| author_GND | (DE-588)120990571 |
| building | Verbundindex |
| bvnumber | BV012818294 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.3 |
| callnumber-search | QA267.3 |
| callnumber-sort | QA 3267.3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 |
| ctrlnum | (OCoLC)246429567 (DE-599)BVBBV012818294 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV012818294</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000105</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">991019s1999 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9810236670</subfield><subfield code="9">981-02-3667-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246429567</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012818294</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="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic engineering</subfield><subfield code="b">proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997</subfield><subfield code="c">eds. Chrystopher L. Nehaniv ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore [u.a.]</subfield><subfield code="b">World Scientific</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXVII, 554 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="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semigroups</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nehaniv, Chrystopher L.</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)120990571</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Formal Languages and Computer Systems</subfield><subfield code="d">1997</subfield><subfield code="c">Kyōto</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1243653-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Semigroups and Algebraic Engineering</subfield><subfield code="n">1</subfield><subfield code="d">1997</subfield><subfield code="c">Aizu-Wakamatsu</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1243654-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=008719474&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-008719474</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV012818294 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:25Z |
| institution | BVB |
| institution_GND | (DE-588)1243653-7 (DE-588)1243654-9 |
| isbn | 9810236670 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008719474 |
| oclc_num | 246429567 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XXVII, 554 S. graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Algebraic engineering proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997 eds. Chrystopher L. Nehaniv ... Singapore [u.a.] World Scientific 1999 XXVII, 554 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Formal languages Machine theory Semigroups (DE-588)1071861417 Konferenzschrift gnd-content Nehaniv, Chrystopher L. 1963- Sonstige (DE-588)120990571 oth International Workshop on Formal Languages and Computer Systems 1997 Kyōto Sonstige (DE-588)1243653-7 oth International Conference on Semigroups and Algebraic Engineering 1 1997 Aizu-Wakamatsu Sonstige (DE-588)1243654-9 oth GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008719474&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Algebraic engineering proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997 Formal languages Machine theory Semigroups |
| subject_GND | (DE-588)1071861417 |
| title | Algebraic engineering proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997 |
| title_auth | Algebraic engineering proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997 |
| title_exact_search | Algebraic engineering proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997 |
| title_full | Algebraic engineering proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997 eds. Chrystopher L. Nehaniv ... |
| title_fullStr | Algebraic engineering proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997 eds. Chrystopher L. Nehaniv ... |
| title_full_unstemmed | Algebraic engineering proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997 eds. Chrystopher L. Nehaniv ... |
| title_short | Algebraic engineering |
| title_sort | algebraic engineering proceedings of the international workshop on formal languages and computer systems kyoto japan 18 21 march 1997 and the first international conference on semigroups and algebraic engineering aizu japan 24 28 march 1997 |
| title_sub | proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18 - 21 March 1997 and the first International Conference on Semigroups and Algebraic Engineering, Aizu, Japan, 24 - 28 March 1997 |
| topic | Formal languages Machine theory Semigroups |
| topic_facet | Formal languages Machine theory Semigroups Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008719474&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT nehanivchrystopherl algebraicengineeringproceedingsoftheinternationalworkshoponformallanguagesandcomputersystemskyotojapan1821march1997andthefirstinternationalconferenceonsemigroupsandalgebraicengineeringaizujapan2428march1997 AT internationalworkshoponformallanguagesandcomputersystemskyoto algebraicengineeringproceedingsoftheinternationalworkshoponformallanguagesandcomputersystemskyotojapan1821march1997andthefirstinternationalconferenceonsemigroupsandalgebraicengineeringaizujapan2428march1997 AT internationalconferenceonsemigroupsandalgebraicengineeringaizuwakamatsu algebraicengineeringproceedingsoftheinternationalworkshoponformallanguagesandcomputersystemskyotojapan1821march1997andthefirstinternationalconferenceonsemigroupsandalgebraicengineeringaizujapan2428march1997 |