The Resource Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Resource Information
The item Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary
 This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods, and developments related to modal logics and lattices
 Language
 eng
 Extent
 1 online resource (XII, 463 pages 28 illustrations)
 Contents

 Developments in Concurrent Kleene Algebra (Invited Talk)
 Endowing Concurrent Kleene Algebra with Communication Actions
 Concurrent Kleene Algebra with Tests
 Algebras for Program Correctness in Isabelle/HOL
 Completeness Theorems for BiKleene Algebras and SeriesParallel Rational Pomset Languages
 A Modified Completeness Theorem of KAT and Decidability of Term Reducibility
 Kleene Algebra with Converse
 Preparing Relational Algebra for 'Just Good Enough' Hardware (Invited Talk)
 Extended Conscriptions Algebraically
 Abstract Dynamic Frames
 Automated Verification of Relational WhilePrograms
 On Faults and Faulty Programs
 Parameterised Bisimulations: Some Applications
 A PointFree RelationAlgebraic Approach to General Topology
 A Mechanised Abstract Formalisation of Concept Lattices
 A Sufficient Condition for Liftable Adjunctions between EilenbergMoore Categories
 HigherOrder Arrow Categories
 Type2 Fuzzy Controllers in Arrow Categories.Relation Algebra and RelView Applied to Approval Voting
 Relational Lattices
 Towards Finding Maximal Subrelations with Desired Properties
 Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis
 Refinements of the RCC25 Composition Table
 Fuzzifying Modal Algebra
 Tableau Development for a Bi intuitionistic Tense Logic
 Nominal Sets over Algebraic Atoms
 FixedPoint Theory in the Varieties Dn
 Isbn
 9783319062501
 Label
 Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings
 Title
 Relational and Algebraic Methods in Computer Science
 Title remainder
 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings
 Statement of responsibility
 edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
 Subject

 Algebra  Data processing
 Algebra  Data processing
 Algebra  Data processing
 Artificial intelligence
 Artificial intelligence
 Artificial intelligence
 Computational complexity
 Computational complexity
 Computational complexity
 Computer science
 Computer science
 Computer science
 Conference papers and proceedings
 Conference proceedings
 Conference proceedings
 Electronic books
 Logic design
 Logic design
 Logic design
 Software engineering
 Software engineering
 Software engineering
 Language
 eng
 Summary
 This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods, and developments related to modal logics and lattices
 Cataloging source
 Nz
 Dewey number
 005.131
 Illustrations
 illustrations
 Image bit depth
 0
 Index
 index present
 LC call number

 QA8.9QA10.3
 QA76.758
 LC item number
 .R45 2014eb
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate

 1964
 1970
 http://library.link/vocab/relatedWorkOrContributorName

 Höfner, Peter
 Jipsen, Peter
 Kahl, W.
 Müller, M. E.
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 8428
 http://library.link/vocab/subjectName

 Computer science
 Software engineering
 Logic design
 Computational complexity
 Algebra
 Artificial intelligence
 Algebra
 Artificial intelligence
 Computational complexity
 Computer science
 Logic design
 Software engineering
 Label
 Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
 Antecedent source
 mixed
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Developments in Concurrent Kleene Algebra (Invited Talk)  Endowing Concurrent Kleene Algebra with Communication Actions  Concurrent Kleene Algebra with Tests  Algebras for Program Correctness in Isabelle/HOL  Completeness Theorems for BiKleene Algebras and SeriesParallel Rational Pomset Languages  A Modified Completeness Theorem of KAT and Decidability of Term Reducibility  Kleene Algebra with Converse  Preparing Relational Algebra for 'Just Good Enough' Hardware (Invited Talk)  Extended Conscriptions Algebraically  Abstract Dynamic Frames  Automated Verification of Relational WhilePrograms  On Faults and Faulty Programs  Parameterised Bisimulations: Some Applications  A PointFree RelationAlgebraic Approach to General Topology  A Mechanised Abstract Formalisation of Concept Lattices  A Sufficient Condition for Liftable Adjunctions between EilenbergMoore Categories  HigherOrder Arrow Categories  Type2 Fuzzy Controllers in Arrow Categories.Relation Algebra and RelView Applied to Approval Voting  Relational Lattices  Towards Finding Maximal Subrelations with Desired Properties  Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis  Refinements of the RCC25 Composition Table  Fuzzifying Modal Algebra  Tableau Development for a Bi intuitionistic Tense Logic  Nominal Sets over Algebraic Atoms  FixedPoint Theory in the Varieties Dn
 Control code
 885336662
 Dimensions
 unknown
 Extent
 1 online resource (XII, 463 pages 28 illustrations)
 File format
 multiple file formats
 Form of item
 online
 Isbn
 9783319062501
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783319062518
 Other physical details
 online resource
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (OCoLC)885336662
 Label
 Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
 Antecedent source
 mixed
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Developments in Concurrent Kleene Algebra (Invited Talk)  Endowing Concurrent Kleene Algebra with Communication Actions  Concurrent Kleene Algebra with Tests  Algebras for Program Correctness in Isabelle/HOL  Completeness Theorems for BiKleene Algebras and SeriesParallel Rational Pomset Languages  A Modified Completeness Theorem of KAT and Decidability of Term Reducibility  Kleene Algebra with Converse  Preparing Relational Algebra for 'Just Good Enough' Hardware (Invited Talk)  Extended Conscriptions Algebraically  Abstract Dynamic Frames  Automated Verification of Relational WhilePrograms  On Faults and Faulty Programs  Parameterised Bisimulations: Some Applications  A PointFree RelationAlgebraic Approach to General Topology  A Mechanised Abstract Formalisation of Concept Lattices  A Sufficient Condition for Liftable Adjunctions between EilenbergMoore Categories  HigherOrder Arrow Categories  Type2 Fuzzy Controllers in Arrow Categories.Relation Algebra and RelView Applied to Approval Voting  Relational Lattices  Towards Finding Maximal Subrelations with Desired Properties  Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis  Refinements of the RCC25 Composition Table  Fuzzifying Modal Algebra  Tableau Development for a Bi intuitionistic Tense Logic  Nominal Sets over Algebraic Atoms  FixedPoint Theory in the Varieties Dn
 Control code
 885336662
 Dimensions
 unknown
 Extent
 1 online resource (XII, 463 pages 28 illustrations)
 File format
 multiple file formats
 Form of item
 online
 Isbn
 9783319062501
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783319062518
 Other physical details
 online resource
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (OCoLC)885336662
Subject
 Algebra  Data processing
 Algebra  Data processing
 Algebra  Data processing
 Artificial intelligence
 Artificial intelligence
 Artificial intelligence
 Computational complexity
 Computational complexity
 Computational complexity
 Computer science
 Computer science
 Computer science
 Conference papers and proceedings
 Conference proceedings
 Conference proceedings
 Electronic books
 Logic design
 Logic design
 Logic design
 Software engineering
 Software engineering
 Software engineering
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/RelationalandAlgebraicMethodsinComputer/ZuIjhNQm4w/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/RelationalandAlgebraicMethodsinComputer/ZuIjhNQm4w/">Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/RelationalandAlgebraicMethodsinComputer/ZuIjhNQm4w/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/RelationalandAlgebraicMethodsinComputer/ZuIjhNQm4w/">Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>