The SCEAS System
Navigation Menu

Conferences in DBLP

Relational Methods in Computer Science (RelMiCS) (RelMiCS)
2008 (conf/RelMiCS/2008)


  1. Formal Methods and the Theory of Social Choice. [Citation Graph (, )][DBLP]


  2. Relations Making Their Way from Logics to Mathematics and Applied Sciences. [Citation Graph (, )][DBLP]


  3. Boolean Logics with Relations. [Citation Graph (, )][DBLP]


  4. Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables. [Citation Graph (, )][DBLP]


  5. A Relation Algebraic Semantics for a Lazy Functional Logic Language. [Citation Graph (, )][DBLP]


  6. Latest News about Demonic Algebra with Domain. [Citation Graph (, )][DBLP]


  7. On the Structure of Demonic Refinement Algebras with Enabledness and Termination. [Citation Graph (, )][DBLP]


  8. Multi-objective Problems in Terms of Relational Algebra. [Citation Graph (, )][DBLP]


  9. The Lattice of Contact Relations on a Boolean Algebra. [Citation Graph (, )][DBLP]


  10. A Non-probabilistic Relational Model of Probabilistic Kleene Algebras. [Citation Graph (, )][DBLP]


  11. Increasing Bisemigroups and Algebraic Routing. [Citation Graph (, )][DBLP]


  12. Lazy Relations. [Citation Graph (, )][DBLP]


  13. The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy. [Citation Graph (, )][DBLP]


  14. The Algebraic Approach II: Dioids, Quantales and Monads. [Citation Graph (, )][DBLP]


  15. Automated Reasoning for Hybrid Systems - Two Case Studies -. [Citation Graph (, )][DBLP]


  16. Non-termination in Idempotent Semirings. [Citation Graph (, )][DBLP]


  17. Formal Concepts in Dedekind Categories. [Citation Graph (, )][DBLP]


  18. The Structure of the One-Generated Free Domain Semiring. [Citation Graph (, )][DBLP]


  19. Determinisation of Relational Substitutions in Ordered Categories with Domain. [Citation Graph (, )][DBLP]


  20. Boolean Algebras and Stone Maps in Schröder Categories. [Citation Graph (, )][DBLP]


  21. Cardinality in Allegories. [Citation Graph (, )][DBLP]


  22. Solving Linear Equations in *-continuous Action Lattices. [Citation Graph (, )][DBLP]


  23. Reactive Probabilistic Programs and Refinement Algebra. [Citation Graph (, )][DBLP]


  24. Knowledge and Games in Modal Semirings. [Citation Graph (, )][DBLP]


  25. Theorem Proving Modulo Based on Boolean Equational Procedures. [Citation Graph (, )][DBLP]


  26. Rectangles, Fringes, and Inverses. [Citation Graph (, )][DBLP]


  27. An Ordered Category of Processes. [Citation Graph (, )][DBLP]


  28. Automatic Proof Generation in Kleene Algebra. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002