Scilit logo
  • Rankings
  • Search Publications
    Cited-By Search
  • Sources
  • Publishers
  • Scholars
    Top Cited Scholars
  • Organizations
  • About
Register
  1. Home
  2. Publications
  3. Relations and Kleene Algebra in Computer Science
  1. Home
  2. Publications
  3. Relations and Kleene Algebra in Computer Science

Relations and Kleene Algebra in Computer Science

Publisher Website
Google Scholar
  • 1 January 2006
    • book
    • Published by Springer Nature
    • https://doi.org/10.1007/11828563
Abstract
No abstract available
Keywords
  • KLEENE ALGEBRAS
  • ARTIFICIAL INTELLIGENCE
  • CALCULUS
  • COMPLEXITY
  • CYLINDRIC ALGEBRAS
  • FORMAL LANGUAGES
  • FORMAL METHOD
  • FORMAL METHODS
  • LOGIC
  • MATHEMATICAL LOGICS
  • REFINEMENT
  • RELATIONAL ALGEBRAS
  • RELATIONAL PROOF THEORY
  • RELATIONAL REPRESENTATION
  • VERIFICATION

This publication has 0 references indexed in Scilit:

Scilit logo

Have questions? Email us at support@scilit.com

© 2025 Scilit is subsidized by MDPI.

MDPI initiatives

  • MDPI Journals
  • MDPI Books
  • Sciforum
  • Proceedings Series
  • Preprints.org
  • SciProfiles
  • Encyclopedia
  • JAMS

Legal

  • Privacy
  • Terms
  • About
  • Contact
  • Disclaimer

Follow us

  • facebook icon
  • x icon
  • linkedin icon

Join us

  • Career

© 2025 Scilit is subsidized by MDPI.