Franklin

Relational Methods in Computer Science [electronic resource] : 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.

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 (Springer-11645)
Lecture notes in computer science 0302-9743 ; 2561
Lecture Notes in Computer Science, 0302-9743 ; 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 science-Mathematics.
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 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 Gro╠ł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.
Contributor:
de Swart, Harrie C.M. editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-540-36280-7
9783540362807
Publisher Number:
10.1007/3-540-36280-0 doi
Access Restriction:
Restricted for use by site license.