1 option
Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers / edited by Harrie C.M. de Swart.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2561.
- Lecture Notes in Computer Science, 0302-9743 ; 2561
- Language:
- English
- Subjects (All):
- Computers.
- Artificial intelligence.
- Logic, Symbolic and mathematical.
- Software engineering.
- Computer science--Mathematics.
- Computer science.
- Categories (Mathematics).
- Algebra, Homological.
- Theory of Computation.
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Software Engineering.
- Symbolic and Algebraic Manipulation.
- Category Theory, Homological Algebra.
- Local Subjects:
- Theory of Computation.
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Software Engineering.
- Symbolic and Algebraic Manipulation.
- Category Theory, Homological Algebra.
- Physical Description:
- 1 online resource (X, 318 pages) : 31 illustrations.
- Edition:
- First edition 2002.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
- System Details:
- text file PDF
- Contents:
- Invited Lecture
- A Relation-Algebraic Approach to Graph Structure Transformation
- Contributed Papers
- Emptiness Relations in Property Systems
- Pregroups: Models and Grammars
- Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View
- Interpretability of First-Order Dynamic Logic in a Relational Calculus
- Relations in GUHA Style Data Mining
- Groups in Allegories
- Distributed Conceptual Structures
- A Computer Algebra Approach to Relational Systems Using Gröbner Bases
- Fuzzy Relational Images in Computer Science
- A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories
- Double Residuated Lattices and Their Applications
- Interval Bilattices and Some Other Simple Bilattices
- Interactive Systems: From Folklore to Mathematics
- Relational Constructions in Goguen Categories
- A Subintuitionistic Logic and Some of Its Methods
- Implementation of Relational Algebra Using Binary Decision Diagrams
- Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs
- Calculating Church-Rosser Proofs in Kleene Algebra
- On the Definition and Representation of a Ranking
- Tangent Circle Algebras.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-36280-7
- 9783540362807
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.