Automata, power series, and coinduction: taking input derivatives seriously (extended abstract)
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Centrum voor Wiskunde en Informatica
1999
|
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 13 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV024453495 | ||
| 003 | DE-604 | ||
| 005 | 20090910 | ||
| 007 | t | ||
| 008 | 090924s1999 t||| 00||| eng d | ||
| 035 | |a (OCoLC)245884530 | ||
| 035 | |a (DE-599)BVBBV024453495 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 088 | |a SEN R9901 | ||
| 100 | 1 | |a Rutten, Jan J. M. M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Automata, power series, and coinduction |b taking input derivatives seriously (extended abstract) |c J. J. M. M. Rutten |
| 264 | 1 | |a Amsterdam |b Centrum voor Wiskunde en Informatica |c 1999 | |
| 300 | |a 13 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 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=018430051&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018430051 | ||
Datensatz im Suchindex
| _version_ | 1804140433811439616 |
|---|---|
| adam_text | CENTRUM VOOR WISKUNDE EN INFORMATICA SOFTWARE ENGINEERING SUB GDTTLNGEN
208 791 AUTOMATA, POWER SERIES, AND COINDUCTION: TAKING INPUT
DERIVATIVES SERIOUSLY (EXTENDED ABSTRACT) J.J.M.M. RUTTEN REPORT
SEN-R9901 JANUARY 1999 CONTENTS 1 INTRODUCTION 3 2 PRELIMINARIES 4 3 THE
AUTOMATON OF FORMAL POWER SERIES 5 4 BEHAVIOURAL DIFFERENTIAL EQUATIONS
5 5 PROOFS BY COINDUCTION 7 6 SHUFFLE INVERSE 7 7 RATIONAL SERIES 8 8
NONDETERMINISTIC AUTOMATA 8 9 RECOGNIZABILITY 9 10 AN EXAMPLE IN THE
MAX-PLUS SEMIRING: TASK RESOURCE SYSTEMS 11 11 DISCUSSION 12
|
| any_adam_object | 1 |
| author | Rutten, Jan J. M. M. |
| author_facet | Rutten, Jan J. M. M. |
| author_role | aut |
| author_sort | Rutten, Jan J. M. M. |
| author_variant | j j m m r jjmm jjmmr |
| building | Verbundindex |
| bvnumber | BV024453495 |
| ctrlnum | (OCoLC)245884530 (DE-599)BVBBV024453495 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01006nam a2200265 c 4500</leader><controlfield tag="001">BV024453495</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090910 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s1999 t||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)245884530</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024453495</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">SEN R9901</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rutten, Jan J. M. M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata, power series, and coinduction</subfield><subfield code="b">taking input derivatives seriously (extended abstract)</subfield><subfield code="c">J. J. M. M. Rutten</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Centrum voor Wiskunde en Informatica</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">13 S.</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="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=018430051&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018430051</subfield></datafield></record></collection> |
| id | DE-604.BV024453495 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T21:59:54Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018430051 |
| oclc_num | 245884530 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 13 S. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Centrum voor Wiskunde en Informatica |
| record_format | marc |
| spelling | Rutten, Jan J. M. M. Verfasser aut Automata, power series, and coinduction taking input derivatives seriously (extended abstract) J. J. M. M. Rutten Amsterdam Centrum voor Wiskunde en Informatica 1999 13 S. txt rdacontent n rdamedia nc rdacarrier GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018430051&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rutten, Jan J. M. M. Automata, power series, and coinduction taking input derivatives seriously (extended abstract) |
| title | Automata, power series, and coinduction taking input derivatives seriously (extended abstract) |
| title_auth | Automata, power series, and coinduction taking input derivatives seriously (extended abstract) |
| title_exact_search | Automata, power series, and coinduction taking input derivatives seriously (extended abstract) |
| title_full | Automata, power series, and coinduction taking input derivatives seriously (extended abstract) J. J. M. M. Rutten |
| title_fullStr | Automata, power series, and coinduction taking input derivatives seriously (extended abstract) J. J. M. M. Rutten |
| title_full_unstemmed | Automata, power series, and coinduction taking input derivatives seriously (extended abstract) J. J. M. M. Rutten |
| title_short | Automata, power series, and coinduction |
| title_sort | automata power series and coinduction taking input derivatives seriously extended abstract |
| title_sub | taking input derivatives seriously (extended abstract) |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018430051&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ruttenjanjmm automatapowerseriesandcoinductiontakinginputderivativesseriouslyextendedabstract |