Relational Methods in Computer Science [electronic resource] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 1621, 2001 Revised Papers / edited by Harrie C.M. de Swart.
 Publication:
 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
 Format/Description:
 Book
1 online resource (X, 318 pages) : 31 illustrations  Edition:
 1st ed. 2002.
 Series:
 Computer Science (Springer11645)
Lecture notes in computer science 03029743 ; 2561
Lecture Notes in Computer Science, 03029743 ; 2561  Contained In:
 Springer eBooks
 Status/Location:

Loading...
Options
Location  Notes  Your Loan Policy 

Details
 Subjects:
 Computers.
Artificial intelligence.
Logic, Symbolic and mathematical.
Software engineering.
Computer scienceMathematics.
Categories (Mathematics).
Algebra, Homological.  Local subjects:
 Theory of Computation. (search)
Artificial Intelligence. (search)
Mathematical Logic and Formal Languages. (search)
Software Engineering. (search)
Symbolic and Algebraic Manipulation. (search)
Category Theory, Homological Algebra. (search)  System Details:
 text file PDF
 Contents:
 Invited Lecture
A RelationAlgebraic Approach to Graph Structure Transformation
Contributed Papers
Emptiness Relations in Property Systems
Pregroups: Models and Grammars
Algebraic Semantics of ERModels in the Context of the Calculus of Relations. II: Dynamic View
Interpretability of FirstOrder 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 ChurchRosser Proofs in Kleene Algebra
On the Definition and Representation of a Ranking
Tangent Circle Algebras.  Contributor:
 de Swart, Harrie C.M. editor., Editor,
SpringerLink (Online service)  Other format:
 Printed edition:
Printed edition:  ISBN:
 9783540362807
9783540362807  Publisher Number:
 10.1007/3540362800 doi
 Access Restriction:
 Restricted for use by site license.