Obálka

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024. The 6 full papers presented in this volume were carefully reviewed and selected...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: Țuțu, Ionuț (Editor)
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Vydání:1st ed. 2025.
Edice:Lecture Notes in Computer Science, 15587
Témata:
Computer science.
Machine theory.
Computer programming.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Programming Techniques.
On-line přístup:https://doi.org/10.1007/978-3-031-88930-1
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • -- Invited Papers.
  • Finite Approximations of the Common Meadow of Rational Numbers.
  • Some Uses of Modal Semirings.
  • Contributed Papers.
  • Bialgebraic Representation of Coordination Frameworks.
  • Topological Inquiry in Abstract Model Theory.
  • The Institution of Many-Logics Modal Logic.
  • Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers.

Podobné jednotky