Coverart for item
The Resource Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 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 28-May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller

Label
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings
Title
Relational and Algebraic Methods in Computer Science
Title remainder
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings
Statement of responsibility
edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Contributor
Editor
Subject
Genre
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
Member of
Cataloging source
Nz
Dewey number
005.131
Illustrations
illustrations
Image bit depth
0
Index
index present
LC call number
  • QA8.9-QA10.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 28-May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Instantiates
Publication
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 Bi-Kleene Algebras and Series-Parallel 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 While-Programs -- On Faults and Faulty Programs -- Parameterised Bisimulations: Some Applications -- A Point-Free Relation-Algebraic Approach to General Topology -- A Mechanised Abstract Formalisation of Concept Lattices -- A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories -- Higher-Order Arrow Categories -- Type-2 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 -- Fixed-Point 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/978-3-319-06251-8
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 28-May 1, 2014. Proceedings, edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Publication
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 Bi-Kleene Algebras and Series-Parallel 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 While-Programs -- On Faults and Faulty Programs -- Parameterised Bisimulations: Some Applications -- A Point-Free Relation-Algebraic Approach to General Topology -- A Mechanised Abstract Formalisation of Concept Lattices -- A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories -- Higher-Order Arrow Categories -- Type-2 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 -- Fixed-Point 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/978-3-319-06251-8
Other physical details
online resource
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)885336662

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...