Folk algebras in algebras: logic and computer science
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c2002
|
| Schriftenreihe: | Advances in logic
v. 2 |
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding |
| Beschreibung: | xi, 217 p. ill |
| ISBN: | 9789812777928 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044635199 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s2002 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812777928 |9 978-981-277-792-8 | ||
| 024 | 7 | |a 10.1142/4899 |2 doi | |
| 035 | |a (ZDB-124-WOP)00003981 | ||
| 035 | |a (OCoLC)1012726469 | ||
| 035 | |a (DE-599)BVBBV044635199 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 004.0151 |2 22 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Frias, Marcelo Fabian |d 1968- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Folk algebras in algebras |b logic and computer science |c Marcelo Fabian Frias |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c2002 | |
| 300 | |a xi, 217 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Advances in logic |v v. 2 | |
| 520 | |a Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding | ||
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810248765 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810248768 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/4899#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030033171 | ||
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/4899#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178047936495616 |
|---|---|
| any_adam_object | |
| author | Frias, Marcelo Fabian 1968- |
| author_facet | Frias, Marcelo Fabian 1968- |
| author_role | aut |
| author_sort | Frias, Marcelo Fabian 1968- |
| author_variant | m f f mf mff |
| building | Verbundindex |
| bvnumber | BV044635199 |
| classification_rvk | SK 130 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00003981 (OCoLC)1012726469 (DE-599)BVBBV044635199 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02099nmm a2200409zcb4500</leader><controlfield tag="001">BV044635199</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2002 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812777928</subfield><subfield code="9">978-981-277-792-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/4899</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00003981</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012726469</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044635199</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22</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="100" ind1="1" ind2=" "><subfield code="a">Frias, Marcelo Fabian</subfield><subfield code="d">1968-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Folk algebras in algebras</subfield><subfield code="b">logic and computer science</subfield><subfield code="c">Marcelo Fabian Frias</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 217 p.</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Advances in logic</subfield><subfield code="v">v. 2</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789810248765</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810248768</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/4899#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030033171</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/4899#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044635199 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:46Z |
| institution | BVB |
| isbn | 9789812777928 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030033171 |
| oclc_num | 1012726469 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xi, 217 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| series2 | Advances in logic |
| spelling | Frias, Marcelo Fabian 1968- Verfasser aut Folk algebras in algebras logic and computer science Marcelo Fabian Frias Singapore World Scientific Pub. Co. c2002 xi, 217 p. ill txt rdacontent c rdamedia cr rdacarrier Advances in logic v. 2 Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding Computer science / Mathematics Logic, Symbolic and mathematical Erscheint auch als Druck-Ausgabe 9789810248765 Erscheint auch als Druck-Ausgabe 9810248768 http://www.worldscientific.com/worldscibooks/10.1142/4899#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Frias, Marcelo Fabian 1968- Folk algebras in algebras logic and computer science Computer science / Mathematics Logic, Symbolic and mathematical |
| title | Folk algebras in algebras logic and computer science |
| title_auth | Folk algebras in algebras logic and computer science |
| title_exact_search | Folk algebras in algebras logic and computer science |
| title_full | Folk algebras in algebras logic and computer science Marcelo Fabian Frias |
| title_fullStr | Folk algebras in algebras logic and computer science Marcelo Fabian Frias |
| title_full_unstemmed | Folk algebras in algebras logic and computer science Marcelo Fabian Frias |
| title_short | Folk algebras in algebras |
| title_sort | folk algebras in algebras logic and computer science |
| title_sub | logic and computer science |
| topic | Computer science / Mathematics Logic, Symbolic and mathematical |
| topic_facet | Computer science / Mathematics Logic, Symbolic and mathematical |
| url | http://www.worldscientific.com/worldscibooks/10.1142/4899#t=toc |
| work_keys_str_mv | AT friasmarcelofabian folkalgebrasinalgebraslogicandcomputerscience |